François Métayer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

3 François Métayer: Implicit exchange in multiplicative proofnets. Mathematical Structures in Computer Science 11(2): 261-272 (2001)

1999

2 François Métayer: Polynomial Equivalence Among Systems LLNC, LLNC_a and LLNC₀. Theor. Comput. Sci. 227(1-2): 221-229 (1999)

1996

1 François Métayer: Some remarks on cyclic linear logic. Electr. Notes Theor. Comput. Sci. 3: (1996)

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