| |
Table des matières de ce fascicule | Article précédent | Article suivant
Lafont, Yves
Primitive recursive categories and machines. Diagrammes, 22 (1989), p. 7-13
Texte intégral djvu | pdf | Analyses MR 1059267 | Zbl 0702.18003
URL stable: http://www.numdam.org/item?id=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
|
|
Copyright Cellule MathDoc 2013 | Crédit | Plan du site
|
