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