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 “Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés”
Opérateurs de mise en mémoire et types -positifs
Lambda-calcul, évaluation paresseuse et mise en mémoire
Jean-Louis Krivine (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Entiers intuitionnistes et entiers classiques en -calcul
K. Nour (1995)
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:
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:
Définitions récursives par cas
B. Courcelle, F. Lavandier (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
Raul Kantor, Giovanna Sontacchi (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Systèmes de déduction pour les arbres et les schémas de programme (II)
P. Enjalbert (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: