François Métayer

According to our database, François Métayer authored at least 5 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Polygraphs: From Rewriting to Higher Categories.

Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram

CoRR, 2023

2001

Implicit exchange in multiplicative proofnets.

François Métayer

Math. Struct. Comput. Sci., 2001

1999

Polynomial Equivalence Among Systems LLNC, LLNC_<i>a</i> and LLNC₀.

François Métayer

Theor. Comput. Sci., 1999

1996

Some remarks on cyclic linear logic.

François Métayer

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

1994

Homology of proof-nets.

François Métayer

Arch. Math. Log., 1994