List of citations in Numdam for : Catégories de Peano et catégories algorithmiques, récursivité

Diagrammes, Volume 12 (1984), Talk no. 1, 47 p.

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