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.

Coppey, L.

Diagrammes, Tome 34 (1995), pp. 11-89.

Coppey, L.

Diagrammes, Actes Volume 3. Journées d'études esquisses, logique et informatique théorique, Tome 24 (1990), pp. 33-76.

Argeron, Pierre

Diagrammes, Tome 19 (1988), Exposé no. 2, 40 p.

Lair, C.

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

Coppey, L. ;  Lair, C.

Diagrammes, Tome 13 (1985), pp. 1-112.