Catégories de Peano et catégories algorithmiques, récursivité

 Access to full text

 Full (PDF)

1. T.A.E.P. (a) L. COPPEY, Théories algébriques et extension de préfaisceaux, Cahiers de Topologie et Géométrie Différentielle, Vol.XIII,l ( 1972) Zbl0326.18005
2. T .A.E.P.(b) L. COPPEY, 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) Zbl0326.18006MR316530
3. S.B.D.S. L. COPPEY, Sur quelques structures de base pour définir les structures, Diagrammes, Vol.7( 1982) Zbl0522.18004MR685053
4. E.D.S.A. C. LAIR, Thèse d'Etat, Esquissabilité des structures algébriques, Multigraphié, Amiens ( 1977) 
5. C.T.F.A. C. LAIR, Condition syntaxique de triplabilité des foncteurs algébriques esquissés, Diagrammes, Vol.l, Paris 1979. Zbl0511.18009
6. A.M.E.N. L. COPPEY, C. LAIR, Algébricité, Monadicité, Esquissabilité, Non-algébricité , à paraître dans Diagrammes, Vol . 13 , Juillet 1985. Zbl0594.18006
7. R.E.C.S. S. EILENBERG, C. ELGOT, Recursiveness, Academic press, New York and London, 1970. Zbl0211.31101MR268040
8. R.E.C.U. JP. AZRA, B. JAULIN, Récursivité, Collection "Programmation", Gauthier-Villars, Paris, Bruxelles, Montréal, 1973. Zbl0276.02019MR369039
9. U.S.R.U. R. MIJOULE, L'universalité des semi-fonctions récursives universelles, Diagrammes, Vol.12 ( 1984) Zbl0564.18002

1. Pierre Argeron, Sémantique catégorique des types : comprendre le système F
2. L. Coppey, Leçons commentées sur les monades
3. L. Coppey, C. Lair, Algébricité, monadicité, esquissabilité et non-algébricité
4. C. Lair, Trames et sémantiques catégoriques des systèmes de trames
5. L. Coppey, Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988)