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},
     zbl = {0702.18003},
     mrnumber = {1059267},
     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
DA  - 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/
UR  - https://zbmath.org/?q=an%3A0702.18003
UR  - https://www.ams.org/mathscinet-getitem?mr=1059267
LA  - en
ID  - DIA_1989__22__7_0
ER  - 
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 0588.18001

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

[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 0592.68045

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

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

[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 968905 | Zbl 0648.68016

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