Olivier Laurent

Available identifiers

zbMath Open laurent.olivierWikidataQ102349220 ScholiaQ102349220MaRDI QIDQ556823

List of research outcomes

Publication	Date of Publication	Type
Super exponentials in linear logic	2025-01-06	Paper
Type isomorphisms for multiplicative-additive linear logic	2024-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q5076061	2022-05-12	Paper
Around classical and intuitionistic linear logics	2021-01-20	Paper
Polynomial time in untyped elementary linear logic	2020-04-21	Paper
Resource-tracking concurrent games	2020-01-28	Paper
Focusing in Orthologic	2017-10-17	Paper
Focusing in orthologic	2017-10-12	Paper
Intersection types with subtyping by means of cut elimination	2013-01-24	Paper
Intuitionistic dual-intuitionistic nets	2011-10-21	Paper
Game semantics for first-order logic	2010-12-20	Paper
Acyclic solos and differential interaction nets	2010-09-21	Paper
Interpreting a finitary pi-calculus in differential interaction nets	2010-06-25	Paper
An exact correspondence between a typed pi-calculus and polarised proof-nets	2010-05-27	Paper
On the categorical semantics of elementary linear logic	2009-11-21	Paper
Parametric mixed sequent calculus	2009-05-11	Paper
Quantitative Game Semantics for Linear Logic	2008-11-20	Paper
Interpreting a Finitary Pi-calculus in Differential Interaction Nets	2008-09-18	Paper
The Anatomy of Innocence Revisited	2008-04-17	Paper
Classical isomorphisms of types	2006-03-10	Paper
Syntax vs. semantics: A polarized approach	2005-10-26	Paper
Polarized and focalized linear and classical proofs	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4650583	2005-02-18	Paper
Polarized games	2004-11-18	Paper
Polarized proof-nets and \(\lambda \mu\)-calculus	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2778827	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2763995	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4263872	1999-11-21	Paper

Research outcomes over time

This page was built for person: Olivier Laurent