Institut de Mathématiques de Jussieu (UMR 7586 du CNRS)
Université Paris 7 (Denis Diderot)
Case 7012
2, place Jussieu
75251 Paris Cedex 05
FRANCE
email :
burroni@math.jussieu.fr
Publications
Higher dimensional word problem with application to equational logic.
ps-pdf-dvi
(Theor.Comput.Sci. 115, 43-62, Elsevier 1993.)
T-catégories (catégories dans un triple).
pdf
(Cahiers de topologie et géométrie différentielle. XII,3 1971.)
Structures pseudo-algébriques, 1e Partie.
pdf
(Cahiers de topologie et géométrie différentielle. XVI,4 1975.)
Algèbres graphiques (sur un concept de dimension dans les langages formels).
pdf
(Cahiers de topologie et géométrie différentielle. XXII,3 1981.)
Récursivité graphique (1e partie) : Catégorie des fonctions récursives primitives formelles.
pdf
(Cahiers de topologie et géométrie différentielle catégoriques. XXVII,1 1986.)
Structures algébriques : Thème et variations. E. Burroni et A. Burroni
pdf
(Cahiers de topologie et géométrie différentielle catégoriques. XXXIII,3 1992.)
(Errata et commentaires en cours d'élaboration )
Prépublications
(avec Jacques Penon) Une construction d'un nerf des infinies catégories.
ps-pdf-dvi
(dans "C.A.E.N." édité par Pierre Ageron. 27-30 Sept 1994. Université de Caen)
(with Jacques Penon) A construction of a nerve for the infinite-categories.
ps-pdf-dvi
A new calculation of the orientals of Street. (Exposé : Oxford, Avril 2000)
pdf
Publications d'Elisabeth Burroni
Algèbres non déterministiques et D-catégories.
pdf
Lois distributives, applications aux automates stochastiques.
ps-pdf-dvi
Un article de Pierre Ageron
Albert Burroni dans l'école d'Ehresmann pdf.
Une journée mathématique
Journée Mathématique en l'honneur d'Albert Burroni: catégories algébriques et informatiques pdf.
Cours
Cours de théorie des catégories (en
cours d'élaboration).
Liens avec un autre organisme :
Équipe PPS
(Preuves, Programmes, Systèmes). CNRS (Université Paris VII).
Équipe PPS home page
http://www.math.jussieu.fr/~burroni
burroni@math.jussieu.fr