Entiers intuitionnistes et entiers classiques en -calcul
K. Nour (1995)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Opérateurs de mise en mémoire et types -positifs”
Entiers intuitionnistes et entiers classiques en -calcul
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:
Lambda-calcul, évaluation paresseuse et mise en mémoire
Jean-Louis Krivine (1991)
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:
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:
Complexité de la réduction en logique combinatoire
Richard Canal (1978)
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:
Construction d'un plus petit ordre de simplification
J. P. Jouannaud, H. Kirchner (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: