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},
     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://www.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://www.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://www.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://www.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

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

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

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

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

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

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

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

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

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

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

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