Olivier Laurent

Available identifiers

zbMath Open laurent.olivierWikidataQ102349220 ScholiaQ102349220MaRDI QIDQ556823

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q3646423	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/Q4263872	1999-11-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Olivier Laurent