Olivier Laurent

According to our database, Olivier Laurent authored at least 26 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Type Isomorphisms for Multiplicative-Additive Linear Logic.

Rémi Di Guardia, Olivier Laurent

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2021

An anti-locally-nameless approach to formalizing quantifiers.

Olivier Laurent

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Polynomial time in untyped elementary linear logic.

Olivier Laurent

Theor. Comput. Sci., 2020

Super Exponentials in Linear Logic.

Esaïe Bauer, Olivier Laurent

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

2019

Resource-Tracking Concurrent Games.

Aurore Alcolei, Pierre Clairambault, Olivier Laurent

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Intersection Subtyping with Constructors.

Olivier Laurent

Proceedings of the Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, 2018

Around Classical and Intuitionistic Linear Logics.

Olivier Laurent

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Focusing in Orthologic.

Olivier Laurent

Log. Methods Comput. Sci., 2017

2012

Intersection Types with Subtyping by Means of Cut Elimination.

Olivier Laurent

Fundam. Informaticae, 2012

2011

Intuitionistic Dual-intuitionistic Nets.

Olivier Laurent

J. Log. Comput., 2011

2010

An exact correspondence between a typed pi-calculus and polarised proof-nets.

Kohei Honda, Olivier Laurent

Theor. Comput. Sci., 2010

Interpreting a finitary pi-calculus in differential interaction nets.

Thomas Ehrhard, Olivier Laurent

Inf. Comput., 2010

Game semantics for first-order logic

Olivier Laurent

Log. Methods Comput. Sci., 2010

Acyclic Solos and Differential Interaction Nets

Thomas Ehrhard, Olivier Laurent

Log. Methods Comput. Sci., 2010

2008

Cut Elimination for Monomial MALL Proof Nets.

Olivier Laurent, Roberto Maieli

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Quantitative Game Semantics for Linear Logic.

Ugo Dal Lago, Olivier Laurent

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2006

Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity.

Olivier Laurent, Lorenzo Tortora de Falco

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

The Anatomy of Innocence Revisited.

Russell Harmer, Olivier Laurent

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

2005

Syntax vs. semantics: A polarized approach.

Olivier Laurent

Theor. Comput. Sci., 2005

Classical isomorphisms of types.

Olivier Laurent

Math. Struct. Comput. Sci., 2005

Polarized and focalized linear and classical proofs.

Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco

Ann. Pure Appl. Log., 2005

2004

Polarized games.

Olivier Laurent

Ann. Pure Appl. Log., 2004

2003

Polarized proof-nets and lambda-µ-calculus.

Olivier Laurent

Theor. Comput. Sci., 2003

About Translations of Classical Logic into Polarized Linear Logic.

Olivier Laurent, Laurent Regnier

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2001

A Token Machine for Full Geometry of Interaction.

Olivier Laurent

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

1999

Polarized Proof-Nets: Proof-Nets for LC.

Olivier Laurent

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999