Homology of proof-nets. - François Métayer (Arch. Math. Log., 1994)

Some remarks on cyclic linear logic. - François Métayer (Linear Logic Tokyo Meeting, 1996)

Polynomial Equivalence Among Systems LLNC, LLNCa and LLNC0. - François Métayer (Theor. Comput. Sci., 1999)

Implicit exchange in multiplicative proofnets. - François Métayer (Math. Struct. Comput. Sci., 2001)

Polygraphs: From Rewriting to Higher Categories. - Dimitri Ara; Albert Burroni; Yves Guiraud; Philippe Malbos; François Métayer; Samuel Mimram (CoRR, 2023)