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:
Displaying similar documents to “Point-fixe sur un ensemble restreint”
Une généralisation de la théorie des types en -calcul (II)
Une généralisation de la théorie des types en -calcul
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:
Lambda-calcul, évaluation paresseuse et mise en mémoire
Jean-Louis Krivine (1991)
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:
Les modalités de la correction totale
Luis Fariñas Del Cerro (1982)
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: