Geodesic
Catégories de Peano et catégories algorithmiques, récursivité
Diagrammes, Tome 12 (1984), Exposé no. 1, 47 p.

Voir la notice de l'article provenant de la source Numdam

MR   Zbl 

Coppey, L. Catégories de Peano et catégories algorithmiques, récursivité. Diagrammes, Tome 12 (1984), Exposé no. 1, 47 p.. http://geodesic.mathdoc.fr/item/DIA_1984__12__A1_0/
@article{DIA_1984__12__A1_0,
     author = {Coppey, L.},
     title = {Cat\'egories de {Peano} et cat\'egories algorithmiques, r\'ecursivit\'e},
     journal = {Diagrammes},
     note = {talk:1},
     pages = {LC1--LC47},
     year = {1984},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {12},
     mrnumber = {800498},
     zbl = {0565.18004},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/DIA_1984__12__A1_0/}
}
TY  - JOUR
AU  - Coppey, L.
TI  - Catégories de Peano et catégories algorithmiques, récursivité
JO  - Diagrammes
N1  - talk:1
PY  - 1984
SP  - LC1
EP  - LC47
VL  - 12
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://geodesic.mathdoc.fr/item/DIA_1984__12__A1_0/
LA  - fr
ID  - DIA_1984__12__A1_0
ER  - 
%0 Journal Article
%A Coppey, L.
%T Catégories de Peano et catégories algorithmiques, récursivité
%J Diagrammes
%Z talk:1
%D 1984
%P LC1-LC47
%V 12
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://geodesic.mathdoc.fr/item/DIA_1984__12__A1_0/
%G fr
%F DIA_1984__12__A1_0