Olivier LAURENT

Directeur de Recherche au CNRS

Équipe Plume
Laboratoire de l'Informatique du Parallélisme (LIP)
ENS Lyon

Courrier
46, allée d'Italie
69364 Lyon cedex 07

Bureau
Bureau 173
7, rue Pierre de Coubertin
69007 Lyon

Tel. : 04-37-28-76-44
Fax : 04-72-72-80-80
Mail : olivier.laurent@ens-lyon.fr

Annonces

Rencontres mensuelles CHoCoLa (Lyon)
Logic and Interactions 2012 (CIRM, Marseille, France : 30 janvier - 2 mars 2012)
FoSSaCS 2012 (Tallin, Estonie : 24 mars - 1er avril 2012)
DICE 2012 (Tallin, Estonie : 31 mars - 1er avril 2012)
LiCS 2012 (Dubrovnik, Croatie : 25 juin - 28 juin 2012)

Publications

Intuitionistic Dual-intuitionistic Nets - JLC 2011 [DOI] [BibTeX]
Game semantics for first-order logic - LMCS 2010 [DOI] [BibTeX]
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 [DOI] [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] On the denotational semantics of the untyped lambda-mu calculus - 2004 [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
[hdr] Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire - 2010 [BibTeX]
[cours] Réseaux d'interaction - 2010