François Métayer

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 1

Top Topics

Semantic Categories

Conjunctive Queries

Search Algorithm

Top Venues

Publications

Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
Polygraphs: From Rewriting to Higher Categories. CoRR (2023)
François Métayer
Implicit exchange in multiplicative proofnets. Math. Struct. Comput. Sci. 11 (2) (2001)
François Métayer
. Theor. Comput. Sci. 227 (1-2) (1999)
François Métayer
Some remarks on cyclic linear logic. Electron. Notes Theor. Comput. Sci. 3 (1996)
François Métayer
Homology of proof-nets. Arch. Math. Log. 33 (3) (1994)