| |
| 2001 | ||
|---|---|---|
| 3 | François Métayer: Implicit exchange in multiplicative proofnets. Mathematical Structures in Computer Science 11(2): 261-272 (2001) | |
| 1999 | ||
| 2 | EE | François Métayer: Polynomial Equivalence Among Systems LLNC, LLNCa and LLNC0. Theor. Comput. Sci. 227(1-2): 221-229 (1999) |
| 1996 | ||
| 1 | EE | François Métayer: Some remarks on cyclic linear logic. Electr. Notes Theor. Comput. Sci. 3: (1996) |