Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Burroni, Albert
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 27 (1986), p. 49-79 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1986-01-01
@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},
     volume = {27},
     year = {1986},
     pages = {49-79},
     mrnumber = {845409},
     zbl = {0588.18001},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/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) pp. 49-79. http://gdmltest.u-ga.fr/item/CTGDC_1986__27_1_49_0/