Opérateurs de mise en mémoire et types -positifs
Karim Nour (1996)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Entiers intuitionnistes et entiers classiques en -calcul”
Opérateurs de mise en mémoire et types -positifs
Complexité de la réduction en logique combinatoire
Richard Canal (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
Karim Nour (1997)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Une généralisation de la théorie des types en -calcul (II)
Patrick Sallé (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Résultats de complétude pour des classes de types du système
Samir Farkh, Karim Nour (1997)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sur l'élimination itérative des situations de blocage dans un système
Maurice Tchuente (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Lambda-calcul, évaluation paresseuse et mise en mémoire
Jean-Louis Krivine (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: