| |
| 2008 | ||
|---|---|---|
| 14 | EE | Ugo Dal Lago, Olivier Laurent: Quantitative Game Semantics for Linear Logic. CSL 2008: 230-245 |
| 13 | EE | Olivier Laurent, Roberto Maieli: Cut Elimination for Monomial MALL Proof Nets. LICS 2008: 486-497 |
| 2007 | ||
| 12 | EE | Thomas Ehrhard, Olivier Laurent: Interpreting a Finitary Pi-calculus in Differential Interaction Nets. CONCUR 2007: 333-348 |
| 2006 | ||
| 11 | EE | Russell Harmer, Olivier Laurent: The Anatomy of Innocence Revisited. FSTTCS 2006: 224-235 |
| 10 | EE | Olivier Laurent, Lorenzo Tortora de Falco: Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. LICS 2006: 179-188 |
| 2005 | ||
| 9 | 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) |
| 8 | EE | Olivier Laurent: Classical isomorphisms of types. Mathematical Structures in Computer Science 15(5): 969-1004 (2005) |
| 7 | EE | Olivier Laurent: Syntax vs. semantics: A polarized approach. Theor. Comput. Sci. 343(1-2): 177-206 (2005) |
| 2004 | ||
| 6 | EE | Olivier Laurent: Polarized games. Ann. Pure Appl. Logic 130(1-3): 79-123 (2004) |
| 2003 | ||
| 5 | EE | Olivier Laurent, Laurent Regnier: About Translations of Classical Logic into Polarized Linear Logic. LICS 2003: 11-20 |
| 4 | Olivier Laurent: Polarized proof-nets and lambda-µ-calculus. Theor. Comput. Sci. 290(1): 161-188 (2003) | |
| 2002 | ||
| 3 | EE | Olivier Laurent: Polarized Games. LICS 2002: 265- |
| 2001 | ||
| 2 | EE | Olivier Laurent: A Token Machine for Full Geometry of Interaction. TLCA 2001: 283-297 |
| 1999 | ||
| 1 | EE | Olivier Laurent: Polarized Proof-Nets: Proof-Nets for LC. TLCA 1999: 213-227 |
| 1 | Thomas Ehrhard | [12] |
| 2 | Lorenzo Tortora de Falco | [9] [10] |
| 3 | Russell Harmer | [11] |
| 4 | Ugo Dal Lago | [14] |
| 5 | Roberto Maieli | [13] |
| 6 | Myriam Quatrini | [9] |
| 7 | Laurent Regnier | [5] |