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) no. 1, pp. 67-84.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996) no. 3, pp. 261-293.