Liste des citations dans Numdam pour : Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 1, pp. 49-79.
Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 7-13.
