| 2009 | ||
|---|---|---|
| 5 | Alain Lecomte, Myriam Quatrini: Ludics and Its Applications to Natural Language Semantics. WoLLIC 2009: 242-255 | |
| 4 | Alain Lecomte, Myriam Quatrini: Ludics and its Applications to natural Language Semantics CoRR abs/0910.1484: (2009) | |
| 2007 | ||
| 3 | Marie-Renée Fleury, Myriam Quatrini: A Mixed lambda-calculus. Studia Logica 87(2-3): 269-294 (2007) | |
| 2005 | ||
| 2 | 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 | 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] |
| 4 | Alain Lecomte | [4] [5] |