François Métayer

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Polygraphs: From Rewriting to Higher Categories.
CoRR, 2023

2001
Implicit exchange in multiplicative proofnets.
Math. Struct. Comput. Sci., 2001

1999
Polynomial Equivalence Among Systems LLNC, LLNC<sub><i>a</i></sub> and LLNC<sub>0</sub>.
Theor. Comput. Sci., 1999

1996
Some remarks on cyclic linear logic.
Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

1994
Homology of proof-nets.
Arch. Math. Log., 1994


  Loading...