| |
| 2007 | ||
|---|---|---|
| 3 | EE | Marie-Renée Fleury, Myriam Quatrini: A Mixed lambda-calculus. Studia Logica 87(2-3): 269-294 (2007) |
| 2005 | ||
| 2 | EE | Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco: Polarized and focalized linear and classical proofs. Ann. Pure Appl. Logic 134(2-3): 217-264 (2005) |
| 2004 | ||
| 1 | EE | Marie-Renée Fleury, Myriam Quatrini: First order in Ludics. Mathematical Structures in Computer Science 14(2): 189-213 (2004) |
| 1 | Lorenzo Tortora de Falco | [2] |
| 2 | Marie-Renée Fleury | [1] [3] |
| 3 | Olivier Laurent | [2] |