Liste des citations dans Numdam pour : Lambda-calcul, évaluation paresseuse et mise en mémoire

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991), p. 67-84 / Harvested from Numdam

Nour, Karim

Opérateurs de mise en mémoire et types ∀-positifs
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996), p. 261-293 / Harvested from Numdam