travaux
articles
-
Strict omega-categories are monadic over polygraphs; Theory Appl. Categ. 31, 799-806, (2016).
- The Brown-Golasinski model structure on strict ∞- groupoids revisited, avec Dimitri Ara; Homology Homotopy Appl. 13(1), 121-142, (2011).
- A folk model structure on omega-cat, avec Yves Lafont et Krzysztof Worytkiewicz; Adv. Math. 224, 1183-1231, (2010).
- Polygraphic resolutions and homology of monoids,
avec Yves Lafont; J. Pure Appl. Algebra 213, 947-968, (2009).
- Cofibrant objects among higher-dimensional categories; Homology Homotopy Appl. 10(1), 181-203, (2008).
- Resolutions by polygraphs; Theory Appl. Categ. 11, 148-184, (2003).
- Implicit exchange in multiplicative proofnets; Math. Struct. Comput. Sci. 11, 261-272, Cambridge (2001).
- Polynomial equivalence among systems LLNC, LLNCa and LLNC0; Theor. Comput. Sci. 227, 221-229, Elsevier (1999).
- Some remarks on cyclic linear logic; Linear Logic '96 Tokyo Meeting, eds. J.Y.Girard, M.Okada et A.Scedrov; E.N.T.C.S. vol 3, Elsevier (1996).
- Volume of multiplicative formulas and
provability; Advances in linear logic, eds. J.Y.Girard, Y.Lafont
et L.Régnier, 297-306, Cambridge (1995).
- Homology of
proofnets; Arch. Math. Logic, 33,
169-188, Springer (1994).
thèse
autres textes