Olivier LAURENT

Chargé de Recherche au CNRS

Équipe Plume
Laboratoire de l'Informatique du Parallélisme (LIP)
ENS Lyon
46, allée d'Italie
69364 Lyon cedex 07

Bureau : GN1 Sud 323
Tel. : 04-72-72-84-34
Fax : 04-72-72-80-80
Mail : olivier.laurent@ens-lyon.fr

Publications

• Acyclic Solos and Differential Interaction Nets (avec Thomas Ehrhard) - LMCS 2010 [DOI] [BibTeX]
• Interpreting a Finitary Pi-Calculus in Differential Interaction Nets (long version) (avec Thomas Ehrhard) - I&C 2010 [DOI] [BibTeX]
• An exact correspondence between a typed pi-calculus and polarised proof-nets (avec Kohei Honda) - TCS 2010 [DOI] [BibTeX]
• On the categorical semantics of Elementary Linear Logic - TAC 2009 [EE] [BibTeX]
• Quantitative Game Semantics for Linear Logic (avec Ugo Dal Lago) - CSL 08 [DOI] [BibTeX]
• Cut Elimination for Monomial MALL Proof Nets (avec Roberto Maieli) - LICS 08 [DOI] [BibTeX]
• Interpreting a Finitary Pi-Calculus in Differential Interaction Nets (short version) (avec Thomas Ehrhard) - CONCUR 07 [DOI] [BibTeX]
• The anatomy of innocence revisited (avec Russ Harmer) - FSTTCS 06 [DOI] [BibTeX]
• Obsessional cliques: a semantic characterization of bounded time complexity (avec Lorenzo Tortora de Falco) - LICS 06 [DOI] [BibTeX]
• Classical isomorphisms of types - MSCS 2005 [DOI] [BibTeX]
• Syntax vs. semantics: a polarized approach - TCS 2005 [DOI] [BibTeX]
• About Translations of Classical Logic into Polarized Linear Logic (avec Laurent Regnier) - LICS 03 [DOI] [BibTeX]
• Slicing polarized additive normalization (avec Lorenzo Tortora de Falco) - LMSLNS 2004 [BibTeX]
• Polarized games (long version) - APAL 2004 [DOI] [BibTeX]
• Polarized games (short version) - LICS 02 [DOI] [BibTeX]
• Polarized and Focalized Linear and Classical Proofs (avec Myriam Quatrini et Lorenzo Tortora de Falco) - APAL 2005 [DOI] [BibTeX]
• Polarized proof-nets and lambda-mu calculus - TCS 2003 [DOI] [BibTeX]
• A Token Machine for Full Geometry of Interaction - TLCA 01 [DOI] [BibTeX]
• Polarized Proof-Nets: Proof-Nets for LC - TLCA 99 [DOI] [BibTeX]

Divers

• [thèse] Étude de la polarisation en logique - 2002 [BibTeX]
• [exposé] Polarities in Linear Logic - 2002
• [note] Krivine's abstract machine and the lambda-mu calculus - 2003 [BibTeX]
• [note] A proof of the focalization property of Linear Logic - 2004 [BibTeX]
• [cours] Sémantique des jeux - 2004
• [note] Intersection types with subtyping by means of cut-elimination - 2005 [BibTeX]
• [exposé] Is not not A equal to A? - 2007
• [exposé] Sémantique des jeux : de la programmation à la logique - 2008
• [cours] Théorie de la démonstration - 2008
• [soumis] Game semantics for first-order logic - 2008 [BibTeX]
• [à paraître] Intuitionistic Dual-intuitionistic Nets - 2009 [DOI] [BibTeX]
• [hdr] Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire - 2010 [BibTeX]