Olivier Laurent

34 papers A* 5B 7Journal 17Unranked 5

Year	Rank	Type	Title / 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