@article{DIA_1984__12__A1_0, author = {Coppey, L.}, title = {Cat\'egories de {Peano} et cat\'egories algorithmiques, r\'ecursivit\'e}, journal = {Diagrammes}, note = {talk:1}, pages = {LC1--LC47}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {12}, year = {1984}, mrnumber = {800498}, zbl = {0565.18004}, language = {fr}, url = {http://archive.numdam.org/item/DIA_1984__12__A1_0/} }
TY - JOUR AU - Coppey, L. TI - Catégories de Peano et catégories algorithmiques, récursivité JO - Diagrammes N1 - talk:1 PY - 1984 SP - LC1 EP - LC47 VL - 12 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_1984__12__A1_0/ LA - fr ID - DIA_1984__12__A1_0 ER -
%0 Journal Article %A Coppey, L. %T Catégories de Peano et catégories algorithmiques, récursivité %J Diagrammes %Z talk:1 %D 1984 %P LC1-LC47 %V 12 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://archive.numdam.org/item/DIA_1984__12__A1_0/ %G fr %F DIA_1984__12__A1_0
Coppey, L. Catégories de Peano et catégories algorithmiques, récursivité. Diagrammes, Tome 12 (1984), Exposé no. 1, 47 p. http://archive.numdam.org/item/DIA_1984__12__A1_0/
T.A.E.P. (a) Théories algébriques et extension de préfaisceaux, Cahiers de Topologie et Géométrie Différentielle, Vol.XIII,l ( 1972) | Numdam | Zbl
,T .A.E.P.(b) Compléments à l'article "Théories algébriques et extension de préfaisceaux" , Cahiers de Topologie et Géométrie Différentielle, Vol XIII,3 ( 1972) | Numdam | MR | Zbl
,S.B.D.S. Sur quelques structures de base pour définir les structures, Diagrammes, Vol.7( 1982) | Numdam | MR | Zbl
,E.D.S.A. Thèse d'Etat, Esquissabilité des structures algébriques, Multigraphié, Amiens ( 1977)
,C.T.F.A. Condition syntaxique de triplabilité des foncteurs algébriques esquissés, Diagrammes, Vol.l, Paris 1979. | Numdam | Zbl
,A.M.E.N. Algébricité, Monadicité, Esquissabilité, Non-algébricité , à paraître dans Diagrammes, Vol . 13 , Juillet 1985. | Numdam | Zbl
, ,R.E.C.S.Recursiveness, Academic press, New York and London, 1970. | MR | Zbl
, ,R.E.C.U. Récursivité, Collection "Programmation", Gauthier-Villars, Paris, Bruxelles, Montréal, 1973. | MR | Zbl
, ,U.S.R.U. L'universalité des semi-fonctions récursives universelles, Diagrammes, Vol.12 ( 1984) | Numdam | Zbl
,