Primitive recursive categories and machines
Diagrammes, Tome 22 (1989), pp. 7-13. 
@article{DIA_1989__22__7_0,
     author = {Lafont, Yves},
     title = {Primitive recursive categories and machines},
     journal = {Diagrammes},
     pages = {7--13},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {22},
     year = {1989},
     mrnumber = {1059267},
     zbl = {0702.18003},
     language = {en},
     url = {http://www.numdam.org/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://www.numdam.org/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://www.numdam.org/item/DIA_1989__22__7_0/
%G en
%F DIA_1989__22__7_0
Lafont, Yves. Primitive recursive categories and machines. Diagrammes, Tome 22 (1989), pp. 7-13. http://www.numdam.org/item/DIA_1989__22__7_0/

[Burroni] A. Burroni, Récursivité graphique (1e partie): catégorie des fonctions récursives primitives formelles, Cahiers de topologie et géométrie différentielle catégorique XXVII-1 ( 1986). | Numdam | Zbl

[CopLair] L. Coppey & C. Lair, Algébricité, monadicité, esquissabilité et non-algébricité, Diagramme 13 ( 1985) 1-112. | Numdam | MR | Zbl

[CouCurMau] G. Cousineau, P.L. Curien & M. Mauny, The Categorical Abstract Machine, J. P. Jouannaud, ed., Functional Programming Languages and Computer Architecture, LNCS 201 (Springer-Verlag, 1985) 50-64. | Zbl

[Goodstein] R.L. Goodstein, Constructive Formalism, Essays on the foundations of mathematics (University College, Leicester, 1951). | MR | Zbl

[Kleene] S.C. Kleene, Introduction to Meta-mathematics (North Holland, 1952). | Zbl

[Lafont88] Y. Lafont, Logiques, Catégories et Machines, Thèse de doctorat (Université Paris VII, 1988).

[Lafont88a] Y. Lafont, The Linear Abstract Machine, Theoretical Computer Science 59 ( 1988) 157-180. | MR | Zbl

[Lambek] J. Lambek, Deductive systems and categories, Math. Systems Theory ( 1968). | MR | Zbl