travaux
articles
- A folk model structure on omega-cat, avec Yves Lafont et Krzysztof Worytkiewicz; sous presse, Adv. Math. (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
exposé