Liste des citations dans Numdam pour : Catégories de Peano et catégories algorithmiques, récursivité
Diagrammes, Tome 12 (1984), Exposé no. 1, 47 p.
Diagrammes, Tome 24 (1990), pp. 33-76.
Diagrammes, Tome 19 (1988), Exposé no. 2, 40 p.
Diagrammes, Tome 18 (1987), Exposé no. 1, 47 p.