Olivier Laurent

34 papers A* 5B 7Journal 17Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic.
CoRR
Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair
2025 J jnl
Type Isomorphisms for Multiplicative-Additive Linear Logic.
Log. Methods Comput. Sci.
Rémi Di Guardia, Olivier Laurent
2025 B conf
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic.
FSCD
Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair
2024 J jnl
Type Isomorphisms for Multiplicative-Additive Linear Logic.
CoRR
Rémi Di Guardia, Olivier Laurent
2023 B conf
Type Isomorphisms for Multiplicative-Additive Linear Logic.
FSCD
Rémi Di Guardia, Olivier Laurent
2021 B conf
An anti-locally-nameless approach to formalizing quantifiers.
CPP
Olivier Laurent
2020 J jnl
Polynomial time in untyped elementary linear logic.
Theor. Comput. Sci.
Olivier Laurent
2020 — conf
Super Exponentials in Linear Logic.
Linearity&TLLA@IJCAR-FSCD
Esaïe Bauer, Olivier Laurent
2019 B conf
Resource-Tracking Concurrent Games.
FoSSaCS
Aurore Alcolei, Pierre Clairambault, Olivier Laurent
2018 A* conf
Around Classical and Intuitionistic Linear Logics.
LICS
Olivier Laurent
2018 — conf
Intersection Subtyping with Constructors.
DCM/ITRS
Olivier Laurent
2017 J jnl
Focusing in Orthologic.
Log. Methods Comput. Sci.
Olivier Laurent
2016 B conf
Focusing in Orthologic.
FSCD
Olivier Laurent
2016 J jnl
Focusing in Orthologic.
CoRR
Olivier Laurent
2012 J jnl
Intersection Types with Subtyping by Means of Cut Elimination.
Fundam. Informaticae
Olivier Laurent
2011 J jnl
Intuitionistic Dual-intuitionistic Nets.
J. Log. Comput.
Olivier Laurent
2010 J jnl
Acyclic Solos and Differential Interaction Nets
Log. Methods Comput. Sci.
Thomas Ehrhard, Olivier Laurent
2010 J jnl
An exact correspondence between a typed pi-calculus and polarised proof-nets.
Theor. Comput. Sci.
Kohei Honda, Olivier Laurent
2010 J jnl
Game semantics for first-order logic
Log. Methods Comput. Sci.
Olivier Laurent
2010 J jnl
Interpreting a finitary pi-calculus in differential interaction nets.
Inf. Comput.
Thomas Ehrhard, Olivier Laurent
2008 A* conf
Cut Elimination for Monomial MALL Proof Nets.
LICS
Olivier Laurent, Roberto Maieli
2008 B conf
Quantitative Game Semantics for Linear Logic.
CSL
Ugo Dal Lago, Olivier Laurent
2007 B conf
Interpreting a Finitary Pi-calculus in Differential Interaction Nets.
CONCUR
Thomas Ehrhard, Olivier Laurent
2006 A* conf
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity.
LICS
Olivier Laurent, Lorenzo Tortora de Falco
2006 — conf
The Anatomy of Innocence Revisited.
FSTTCS
Russell Harmer, Olivier Laurent
2005 J jnl
Classical isomorphisms of types.
Math. Struct. Comput. Sci.
Olivier Laurent
2005 J jnl
Polarized and focalized linear and classical proofs.
Ann. Pure Appl. Log.
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco
2005 J jnl
Syntax vs. semantics: A polarized approach.
Theor. Comput. Sci.
Olivier Laurent
2004 J jnl
Polarized games.
Ann. Pure Appl. Log.
Olivier Laurent
2003 A* conf
About Translations of Classical Logic into Polarized Linear Logic.
LICS
Olivier Laurent, Laurent Regnier
2003 J jnl
Polarized proof-nets and lambda-µ-calculus.
Theor. Comput. Sci.
Olivier Laurent
2002 A* conf
Polarized Games.
LICS
Olivier Laurent
2001 — conf
A Token Machine for Full Geometry of Interaction.
TLCA
Olivier Laurent
1999 — conf
Polarized Proof-Nets: Proof-Nets for LC.
TLCA
Olivier Laurent