Esquisses et types
Diagrammes, Tome 27 (1992), Exposé no. 2, 33 p.
@article{DIA_1992__27__A2_0,
     author = {Coppey, Laurent},
     title = {Esquisses et types},
     journal = {Diagrammes},
     note = {talk:2},
     pages = {LC1--LC33},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {27},
     year = {1992},
     mrnumber = {1194780},
     zbl = {0767.18007},
     language = {fr},
     url = {http://www.numdam.org/item/DIA_1992__27__A2_0/}
}
TY  - JOUR
AU  - Coppey, Laurent
TI  - Esquisses et types
JO  - Diagrammes
N1  - talk:2
PY  - 1992
SP  - LC1
EP  - LC33
VL  - 27
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1992__27__A2_0/
LA  - fr
ID  - DIA_1992__27__A2_0
ER  - 
%0 Journal Article
%A Coppey, Laurent
%T Esquisses et types
%J Diagrammes
%Z talk:2
%D 1992
%P LC1-LC33
%V 27
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1992__27__A2_0/
%G fr
%F DIA_1992__27__A2_0
Coppey, Laurent. Esquisses et types. Diagrammes, Tome 27 (1992), Exposé no. 2, 33 p. http://www.numdam.org/item/DIA_1992__27__A2_0/

[C.A.D.E.] L. Coppey : Catégories à décompositions, Esquisses Mathématiques 24, Amiens, 1976. | Zbl

[C.E.T.G.] C. Lair : Construction d'esquisses et transformations naturelles généralisées, Esquisses Mathématiques 2, Paris, 1970.

[C.M.C.E.] C. Lair : Catégories modelables et catégories esquissables, Diagrammes 6, Paris, 1981. | Numdam | MR | Zbl

[C.S.M.F.] R. Guitart et C. Lair : Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris, 1980. | Numdam | MR | Zbl

[D.A.S.P.] L. Coppey : Décomposition algébrique des structures en produits, Esquisses Mathématiques 14, Paris, 1971. | Zbl

[E.C.L.Q.] A. Burroni : Esquisses des catégories à limites et des quasitopologies, Esquisses Mathématiques 5, Paris, 1970. | Zbl

[E.D.L.L.] R. Guitart et C. Lair : Existence de diagrammes localement libres, Diagrammes 6, Paris, 1981. | Numdam | MR | Zbl

[E.S.C.A.] D. Duval et J.-C. Reynaud : Sketches and computation, (Esquisses et calcul), Rapport de Recherche RR 871-I-IMAG-123-LIFIA, Institut I.M.A.G., Grenoble, 1991.

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

[I.T.S.C.] C. Ehresmann : Introduction to the theory of structured categories, Techn. Rep. 10, Univ. of Kansas, Lawrence, 1966. | Zbl

[L.T.E.S.] L. Coppey et C. Lair : Leçons de théorie des esquisses, I et II Diagrammes 12 et 19, Paris, 1984 et 1988. | Numdam | MR | Zbl

[T.S.C.S.] C. Lair : Trames et sémantiques catégoriques des systèmes de trames, Diagrammes 18, Paris, 1987. | Numdam | MR | Zbl