Geodesic
Primitive recursive categories and machines
Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 7-13

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

MR   Zbl 

Lafont, Yves. Primitive recursive categories and machines. Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 7-13. http://geodesic.mathdoc.fr/item/DIA_1989__22__7_0/
@article{DIA_1989__22__7_0,
     author = {Lafont, Yves},
     title = {Primitive recursive categories and machines},
     journal = {Diagrammes},
     pages = {7--13},
     year = {1989},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {22},
     mrnumber = {1059267},
     zbl = {0702.18003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DIA_1989__22__7_0/}
}
TY  - JOUR
AU  - Lafont, Yves
TI  - Primitive recursive categories and machines
JO  - Diagrammes
PY  - 1989
SP  - 7
EP  - 13
VL  - 22
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://geodesic.mathdoc.fr/item/DIA_1989__22__7_0/
LA  - en
ID  - DIA_1989__22__7_0
ER  - 
%0 Journal Article
%A Lafont, Yves
%T Primitive recursive categories and machines
%J Diagrammes
%D 1989
%P 7-13
%V 22
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://geodesic.mathdoc.fr/item/DIA_1989__22__7_0/
%G en
%F DIA_1989__22__7_0