@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}, pages = {CL1--CL47}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {18}, year = {1987}, mrnumber = {944790}, zbl = {0672.18001}, language = {fr}, url = {http://archive.numdam.org/item/DIA_1987__18__A1_0/} }
TY - JOUR AU - Lair, C. TI - Trames et sémantiques catégoriques des systèmes de trames JO - Diagrammes N1 - talk:1 PY - 1987 SP - CL1 EP - CL47 VL - 18 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_1987__18__A1_0/ LA - fr ID - DIA_1987__18__A1_0 ER -
%0 Journal Article %A Lair, C. %T Trames et sémantiques catégoriques des systèmes de trames %J Diagrammes %Z talk:1 %D 1987 %P CL1-CL47 %V 18 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://archive.numdam.org/item/DIA_1987__18__A1_0/ %G fr %F 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.) Accessible categories: the foundations of categorical model theory, Rep. from the Dept. of Math. and Stat., McGill Univ., Montréal, 1987.
et ;(A.I.T.T.) An intuitionistic theory of types : predicative part, Rose and Shepherdson, 1974.
:(A.M.E.N.) Algébricité monadicité et non-algébricité, Diagrammes 13, Paris, 1985. | Numdam | Zbl
et :(C.P.C.A.) Catégories de Peano et Catégories algorithmiques, récursivité, Diagrammes 12, Paris, 1984. | Numdam | MR | Zbl
:(C.Q.C.E.) Catégories qualifiables et catégories esquissables, Diagrammes 17, Paris, 1987. | Numdam | MR | Zbl
:(E.G.C.E.) Etude générale de la catégorie des esquisses, Esquisses Math. 23, Amiens, 1975. | Zbl
:(E.T.S.A.) Esquisses et types des structures algébriques, Bull. Instit. Polit. Iasi, XIV, 1968. | Zbl
:(H.O.C.L.) Introduction to higher order categorical logic, Cambridge Univ. Press, 1986. | MR | Zbl
et :(I.F.E.C.) 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.) Limites et co-limites pour représenter les formules, Diagrammes 7, Paris, 1982. | Numdam | MR | Zbl
et :(L.D.T.E.) Leçons de théorie des esquisses (I), Diagrammes 12, Paris, 1984, | Numdam | MR | Zbl
et :(L.P.L.G.) Locally α-presentable and local ly α-generated categories. Lect. Notes in Math. 195, Springer, 1971. | Zbl
:(P.T.G.M.) Sur quelques problèmes typiques concernant les graphes multiplicatifs. Diagrammes 3, Paris, 1980. | Numdam | MR | Zbl
:(S.C.D.T.) Sémantique catégorique des types: comprendre le système F, (à paraître). | Numdam | Zbl
:(T.F.A.E.) Condition syntaxique de triplabilité des foncteurs algébriques esquisses. Diagrammes 1, Paris, 1979. | Numdam | Zbl
: