Marie-Renée Fleury

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 Marie-Renée Fleury, Myriam Quatrini: A Mixed lambda-calculus. Studia Logica 87(2-3): 269-294 (2007)

2004

1 Marie-Renée Fleury, Myriam Quatrini: First order in Ludics. Mathematical Structures in Computer Science 14(2): 189-213 (2004)

	2007
2		Marie-Renée Fleury, Myriam Quatrini: A Mixed lambda-calculus. Studia Logica 87(2-3): 269-294 (2007)
	2004
1		Marie-Renée Fleury, Myriam Quatrini: First order in Ludics. Mathematical Structures in Computer Science 14(2): 189-213 (2004)

Coauthor Index