Trames et sémantiques catégoriques des systèmes de trames
Diagrammes, Tome 18 (1987) , Exposé no. 1, 47 p.
@article{DIA_1987__18__A1_0,
     author = {Lair, C.},
     title = {Trames et s\'emantiques cat\'egoriques des syst\`emes de trames},
     journal = {Diagrammes},
     note = {talk:1},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {18},
     year = {1987},
     zbl = {0672.18001},
     mrnumber = {944790},
     language = {fr},
     url = {archive.numdam.org/item/DIA_1987__18__A1_0/}
}
Lair, C. Trames et sémantiques catégoriques des systèmes de trames. Diagrammes, Tome 18 (1987) , Exposé no. 1, 47 p. http://archive.numdam.org/item/DIA_1987__18__A1_0/

(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.

(A.I.T.T.) P. Martin-Löf: An intuitionistic theory of types : predicative part, Rose and Shepherdson, 1974.

(A.M.E.N.) L. Coppey et C. Lair: Algébricité monadicité et non-algébricité, Diagrammes 13, Paris, 1985. | Numdam | Zbl 0594.18006

(C.P.C.A.) L. Coppey: Catégories de Peano et Catégories algorithmiques, récursivité, Diagrammes 12, Paris, 1984. | Numdam | MR 800498 | Zbl 0565.18004

(C.Q.C.E.) C. Lair: Catégories qualifiables et catégories esquissables, Diagrammes 17, Paris, 1987. | Numdam | MR 918001 | Zbl 0624.18003

(E.G.C.E.) C. Lair: Etude générale de la catégorie des esquisses, Esquisses Math. 23, Amiens, 1975. | Zbl 0397.18007

(E.T.S.A.) C. Ehresmann: Esquisses et types des structures algébriques, Bull. Instit. Polit. Iasi, XIV, 1968. | Zbl 0196.03102

(H.O.C.L.) J. Lambek et P. J. Scott: Introduction to higher order categorical logic, Cambridge Univ. Press, 1986. | MR 856915 | Zbl 0596.03002

(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.

(L.C.R.F.) R. Guitart et C. Lair: Limites et co-limites pour représenter les formules, Diagrammes 7, Paris, 1982. | Numdam | MR 685055 | Zbl 0535.03013

(L.D.T.E.) L. Coppey et C. Lair: Leçons de théorie des esquisses (I), Diagrammes 12, Paris, 1984, | Numdam | MR 800501 | Zbl 0562.18002

(L.P.L.G.) F. Ulmer: Locally α-presentable and local ly α-generated categories. Lect. Notes in Math. 195, Springer, 1971. | Zbl 0225.18005

(P.T.G.M.) L. Coppey: Sur quelques problèmes typiques concernant les graphes multiplicatifs. Diagrammes 3, Paris, 1980. | Numdam | MR 684910 | Zbl 0517.18003

(S.C.D.T.) P. Ageron: Sémantique catégorique des types: comprendre le système F, (à paraître). | Numdam | Zbl 0672.03049

(T.F.A.E.) C. Lair: Condition syntaxique de triplabilité des foncteurs algébriques esquisses. Diagrammes 1, Paris, 1979. | Numdam | Zbl 0511.18009