@article{DIA_2009__61-62__1_0, author = {Bjerrum, Marie}, title = {A {Sketch} theoretical survey {Towards} a typology of mathematical structures}, journal = {Diagrammes}, pages = {1--63}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {61-62}, year = {2009}, language = {en}, url = {http://archive.numdam.org/item/DIA_2009__61-62__1_0/} }
TY - JOUR AU - Bjerrum, Marie TI - A Sketch theoretical survey Towards a typology of mathematical structures JO - Diagrammes PY - 2009 SP - 1 EP - 63 VL - 61-62 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_2009__61-62__1_0/ LA - en ID - DIA_2009__61-62__1_0 ER -
%0 Journal Article %A Bjerrum, Marie %T A Sketch theoretical survey Towards a typology of mathematical structures %J Diagrammes %D 2009 %P 1-63 %V 61-62 %I Université Paris 7, Unité d'enseignement et de recherche de mathématiques %U http://archive.numdam.org/item/DIA_2009__61-62__1_0/ %G en %F DIA_2009__61-62__1_0
Bjerrum, Marie. A Sketch theoretical survey Towards a typology of mathematical structures. Diagrammes, A Sketch theoretical survey Towards a typology of mathematical structures, 61-62 (2009), pp. 1-63. http://archive.numdam.org/item/DIA_2009__61-62__1_0/
- Esquisses et Types. Paris: Diagrammes, Volume 27, 1992.
[1992]:- Leçons de Théorie des Esquisses. Paris: Diagrammes, Volume 12, 1984.
[1984]:- Leçons de Théorie des Esquisses. Paris: Diagrammes, Volume 19, 1988.
[1988]:- On the geometry of computations. Cahiers de Topologie et Geométrie différentielle Catégorique, Volume XXIX-4, 1986.
1986]:- On the geometry of computations II. Cahiers de Topologie et Geométrie différentielle Catégorique, Volume XXVII-4, 1988.
[1988]:- Toute théorie est algébrique. Journée mathématique en l'honneur d'Albert Burroni: Catégories, Théories algébrique et informatique, le Vendredi 20 septembre 2002, à l'Université Paris VII, p. 79-102.
[2002]:- Introduction à l'analyse algébrique. II. Algèbres figuratives et esquisses. Journées ATALA AFCET: Arbres en linguistique, un modèle informatique; 26-27 nov. 1981, Paris.
[1981]:- Limites et co-limites pour représenter les formules. Paris: Diagrammes, Volume 7, 1982.
[1982]:- Categories for the Working Mathematician, Second Edition. Springer 1997.
[1997]: