Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 1, pp. 49-79.
@article{CTGDC_1986__27_1_49_0,
     author = {Burroni, Albert},
     title = {R\'ecursivit\'e graphique (1e partie) : cat\'egorie des fonctions r\'ecursives primitives formelles},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {49--79},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {27},
     number = {1},
     year = {1986},
     mrnumber = {845409},
     zbl = {0588.18001},
     language = {fr},
     url = {http://www.numdam.org/item/CTGDC_1986__27_1_49_0/}
}
TY  - JOUR
AU  - Burroni, Albert
TI  - Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1986
SP  - 49
EP  - 79
VL  - 27
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1986__27_1_49_0/
LA  - fr
ID  - CTGDC_1986__27_1_49_0
ER  - 
%0 Journal Article
%A Burroni, Albert
%T Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1986
%P 49-79
%V 27
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1986__27_1_49_0/
%G fr
%F CTGDC_1986__27_1_49_0
Burroni, Albert. Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986) no. 1, pp. 49-79. http://www.numdam.org/item/CTGDC_1986__27_1_49_0/