Esquisses et types

Laurent Coppey

Diagrammes (1992)

  • Volume: 27, page LC1-LC33
  • ISSN: 0224-3911

How to cite

top

Coppey, Laurent. "Esquisses et types." Diagrammes 27 (1992): LC1-LC33. <http://eudml.org/doc/193041>.

@article{Coppey1992,
author = {Coppey, Laurent},
journal = {Diagrammes},
keywords = {structure of types; diagram of types; sketches},
language = {fre},
pages = {LC1-LC33},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Esquisses et types},
url = {http://eudml.org/doc/193041},
volume = {27},
year = {1992},
}

TY - JOUR
AU - Coppey, Laurent
TI - Esquisses et types
JO - Diagrammes
PY - 1992
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 27
SP - LC1
EP - LC33
LA - fre
KW - structure of types; diagram of types; sketches
UR - http://eudml.org/doc/193041
ER -

References

top
  1. [C.A.D.E.] L. Coppey : Catégories à décompositions, Esquisses Mathématiques 24, Amiens, 1976. Zbl0343.18002
  2. [C.E.T.G.] C. Lair : Construction d'esquisses et transformations naturelles généralisées, Esquisses Mathématiques 2, Paris, 1970. 
  3. [C.M.C.E.] C. Lair : Catégories modelables et catégories esquissables, Diagrammes 6, Paris, 1981. Zbl0522.18008MR684535
  4. [C.S.M.F.] R. Guitart et C. Lair : Calcul syntaxique des modèles et calcul des formules internes, Diagrammes 4, Paris, 1980. Zbl0508.03030MR684746
  5. [D.A.S.P.] L. Coppey : Décomposition algébrique des structures en produits, Esquisses Mathématiques 14, Paris, 1971. Zbl0371.18001
  6. [E.C.L.Q.] A. Burroni : Esquisses des catégories à limites et des quasitopologies, Esquisses Mathématiques 5, Paris, 1970. Zbl0395.18005
  7. [E.D.L.L.] R. Guitart et C. Lair : Existence de diagrammes localement libres, Diagrammes 6, Paris, 1981. Zbl0496.18005MR684534
  8. [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. 
  9. [E.T.S.A.] C. Ehresmann : Esquisses et types des structures algébriques, Bul. Instit. Polit., Iasi, XIV, 1968. Zbl0196.03102
  10. [I.T.S.C.] C. Ehresmann : Introduction to the theory of structured categories, Techn. Rep. 10, Univ. of Kansas, Lawrence, 1966. Zbl0192.10001
  11. [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. Zbl0562.18002MR800501
  12. [T.S.C.S.] C. Lair : Trames et sémantiques catégoriques des systèmes de trames, Diagrammes 18, Paris, 1987. Zbl0672.18001MR944790

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.