Olivier Laurent

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 13

Top Topics

Top Venues

Publications

Rémi Di Guardia, Olivier Laurent
Type Isomorphisms for Multiplicative-Additive Linear Logic. FSCD (2023)
Olivier Laurent, Adrien Lafage, Enzo Tartaglione, Geoffrey Daniel, Jean-Marc Martinez, Andrei Bursuc, Gianni Franchi
Packed Ensembles for efficient uncertainty estimation. ICLR (2023)
Marwane Hariat, Olivier Laurent, Rémi Kazmierczak, Shihao Zhang, Andrei Bursuc, Angela Yao, Gianni Franchi
Learning to Generate Training Datasets for Robust Semantic Segmentation. CoRR (2023)
Olivier Laurent, Adrien Lafage, Enzo Tartaglione, Geoffrey Daniel, Jean-Marc Martinez, Andrei Bursuc, Gianni Franchi
Packed-Ensembles for Efficient Uncertainty Estimation. CoRR (2022)
Olivier Laurent
An anti-locally-nameless approach to formalizing quantifiers. CPP (2021)
Esaïe Bauer, Olivier Laurent
Super Exponentials in Linear Logic. CoRR (2021)
Olivier Laurent
Polynomial time in untyped elementary linear logic. Theor. Comput. Sci. 813 (2020)
Aurore Alcolei, Pierre Clairambault, Olivier Laurent
Resource-Tracking Concurrent Games. FoSSaCS (2019)
Olivier Laurent
Intersection Subtyping with Constructors. DCM/ITRS (2018)
Olivier Laurent
Around Classical and Intuitionistic Linear Logics. LICS (2018)
Olivier Laurent
Focusing in Orthologic. Log. Methods Comput. Sci. 13 (3) (2017)
Olivier Laurent
Focusing in Orthologic. FSCD (2016)
Olivier Laurent
Focusing in Orthologic. CoRR (2016)
Olivier Laurent
Intersection Types with Subtyping by Means of Cut Elimination. Fundam. Informaticae 121 (1-4) (2012)
Olivier Laurent
Intuitionistic Dual-intuitionistic Nets. J. Log. Comput. 21 (4) (2011)
Thomas Ehrhard, Olivier Laurent
Acyclic Solos and Differential Interaction Nets Log. Methods Comput. Sci. 6 (3) (2010)
Thomas Ehrhard, Olivier Laurent
Interpreting a finitary pi-calculus in differential interaction nets. Inf. Comput. 208 (6) (2010)
Olivier Laurent
Game semantics for first-order logic Log. Methods Comput. Sci. 6 (4) (2010)
Kohei Honda, Olivier Laurent
An exact correspondence between a typed pi-calculus and polarised proof-nets. Theor. Comput. Sci. 411 (22-24) (2010)
Ugo Dal Lago, Olivier Laurent
Quantitative Game Semantics for Linear Logic. CSL (2008)
Olivier Laurent, Roberto Maieli
Cut Elimination for Monomial MALL Proof Nets. LICS (2008)
Thomas Ehrhard, Olivier Laurent
Interpreting a Finitary Pi-calculus in Differential Interaction Nets. CONCUR (2007)
Russell Harmer, Olivier Laurent
The Anatomy of Innocence Revisited. FSTTCS (2006)
Olivier Laurent, Lorenzo Tortora de Falco
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. LICS (2006)
Olivier Laurent
Syntax vs. semantics: A polarized approach. Theor. Comput. Sci. 343 (1-2) (2005)
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco
Polarized and focalized linear and classical proofs. Ann. Pure Appl. Log. 134 (2-3) (2005)
Olivier Laurent
Classical isomorphisms of types. Math. Struct. Comput. Sci. 15 (5) (2005)
Olivier Laurent
Polarized games. Ann. Pure Appl. Log. 130 (1-3) (2004)
Olivier Laurent, Laurent Regnier
About Translations of Classical Logic into Polarized Linear Logic. LICS (2003)
Olivier Laurent
Polarized proof-nets and lambda-µ-calculus. Theor. Comput. Sci. 290 (1) (2003)
Olivier Laurent
Polarized Games. LICS (2002)
Olivier Laurent
A Token Machine for Full Geometry of Interaction. TLCA (2001)
Olivier Laurent
Polarized Proof-Nets: Proof-Nets for LC. TLCA (1999)