Recherche et téléchargement d’archives de revues mathématiques numérisées

 
 
  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

Bibliographie

[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 2014 | Crédit | Plan du site