Liste des citations dans Numdam pour : L'universalité des semi-fonctions récursives universelles

Diagrammes, Tome 12 (1984), Exposé no. 2, 12 p.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 3, pp. 193-208.

Diagrammes, Tome 21 (1989), Exposé no. 4, 13 p.