Trames et sémantiques catégoriques des systèmes de trames

 Access to full text

 Full (PDF)

1. (A.C.C.A.) M. Makkai et R. Paré; Accessible categories: the foundations of categorical model theory, Rep. from the Dept. of Math. and Stat., McGill Univ., Montréal, 1987. Zbl0703.03042
2. (A.I.T.T.) P. Martin-Löf: An intuitionistic theory of types : predicative part, Rose and Shepherdson, 1974. 
3. (A.M.E.N.) L. Coppey et C. Lair: Algébricité monadicité et non-algébricité, Diagrammes 13, Paris, 1985. Zbl0594.18006
4. (C.P.C.A.) L. Coppey: Catégories de Peano et Catégories algorithmiques, récursivité, Diagrammes 12, Paris, 1984. Zbl0565.18004MR800498
5. (C.Q.C.E.) C. Lair: Catégories qualifiables et catégories esquissables, Diagrammes 17, Paris, 1987. Zbl0624.18003MR918001
6. (E.G.C.E.) C. Lair: Etude générale de la catégorie des esquisses, Esquisses Math. 23, Amiens, 1975. Zbl0397.18007
7. (E.T.S.A.) C. Ehresmann: Esquisses et types des structures algébriques, Bull. Instit. Polit. Iasi, XIV, 1968. Zbl0196.03102
8. (H.O.C.L.) J. Lambek et P. J. Scott: Introduction to higher order categorical logic, Cambridge Univ. Press, 1986. Zbl0596.03002MR856915
9. (I.F.E.C.) J.-Y. Girard: Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur, Thèse de Doctorat d'Etat, Univ. Paris VII, 1972. 
10. (L.C.R.F.) R. Guitart et C. Lair: Limites et co-limites pour représenter les formules, Diagrammes 7, Paris, 1982. Zbl0535.03013MR685055
11. (L.D.T.E.) L. Coppey et C. Lair: Leçons de théorie des esquisses (I), Diagrammes 12, Paris, 1984, Zbl0562.18002MR800501
12. (L.P.L.G.) F. Ulmer: Locally α-presentable and local ly α-generated categories. Lect. Notes in Math. 195, Springer, 1971. Zbl0225.18005
13. (P.T.G.M.) L. Coppey: Sur quelques problèmes typiques concernant les graphes multiplicatifs. Diagrammes 3, Paris, 1980. Zbl0517.18003MR684910
14. (S.C.D.T.) P. Ageron: Sémantique catégorique des types: comprendre le système F, (à paraître). Zbl0672.03049
15. (T.F.A.E.) C. Lair: Condition syntaxique de triplabilité des foncteurs algébriques esquisses. Diagrammes 1, Paris, 1979. Zbl0511.18009

1. Christian Lair, Éléments de théorie des patchworks (I)
2. Pierre Ageron, Sémantique catégorique des constructeurs de types d'ordre supérieur
3. C. Lair, Sur le profil d'esquissabilité des catégories modelables (accessibles) possédant les noyaux
4. Pierre Argeron, Sémantique catégorique des types : comprendre le système F
5. Laurent Coppey, Esquisses et types
6. L. Coppey, Leçons commentées sur les monades
7. C. Lair, Lax-co-limites structurées
8. A. C. Reeves, Towards a sketch based model of self-interpreters
9. L. Coppey, Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988)