@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://archive.numdam.org/item/DIA_1989__22__7_0/} }
Lafont, Yves. Primitive recursive categories and machines. Diagrammes, Tome 22 (1989), pp. 7-13. http://archive.numdam.org/item/DIA_1989__22__7_0/
[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] Algébricité, monadicité, esquissabilité et non-algébricité, Diagramme 13 ( 1985) 1-112. | Numdam | MR | Zbl
& ,[CouCurMau] The Categorical Abstract Machine, J. P. Jouannaud, ed., Functional Programming Languages and Computer Architecture, LNCS 201 (Springer-Verlag, 1985) 50-64. | Zbl
, & ,[Goodstein] Constructive Formalism, Essays on the foundations of mathematics (University College, Leicester, 1951). | MR | Zbl
,[Kleene] Introduction to Meta-mathematics (North Holland, 1952). | Zbl
,[Lafont88] Logiques, Catégories et Machines, Thèse de doctorat (Université Paris VII, 1988).
,[Lafont88a] The Linear Abstract Machine, Theoretical Computer Science 59 ( 1988) 157-180. | MR | Zbl
,[Lambek] Deductive systems and categories, Math. Systems Theory ( 1968). | MR | Zbl
,