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 34 (1995), pp. 11-89.



Diagrammes, Tome 18 (1987), Exposé no. 1, 47 p.