François Métayer

Some remarks on cyclic linear logic

François Métayer, 1996, Electron. Notes Theor. Comput. Sci..

Homology of proof-nets

François Métayer, 1994, Arch. Math. Log..

Polynomial Equivalence Among Systems LLNC, LLNCa and LLNC0

François Métayer, 1999, Theor. Comput. Sci..

Implicit exchange in multiplicative proofnets

François Métayer, 2001, Math. Struct. Comput. Sci..

Cofibrant objects among higher-dimensional categories

François Métayer, François Métayer, 2008 .

Polygraphic resolutions and homology of monoids

Yves Lafont, François Métayer, Y. Lafont, 2009 .