Olivier Laurent

From MaRDI portal
Person:556823

Available identifiers

zbMath Open laurent.olivierWikidataQ102349220 ScholiaQ102349220MaRDI QIDQ556823

List of research outcomes





PublicationDate of PublicationType
Super exponentials in linear logic2025-01-06Paper
Type isomorphisms for multiplicative-additive linear logic2024-10-21Paper
https://portal.mardi4nfdi.de/entity/Q50760612022-05-12Paper
Around classical and intuitionistic linear logics2021-01-20Paper
Polynomial time in untyped elementary linear logic2020-04-21Paper
Resource-tracking concurrent games2020-01-28Paper
Focusing in Orthologic2017-10-17Paper
Focusing in orthologic2017-10-12Paper
Intersection types with subtyping by means of cut elimination2013-01-24Paper
Intuitionistic dual-intuitionistic nets2011-10-21Paper
Game semantics for first-order logic2010-12-20Paper
Acyclic solos and differential interaction nets2010-09-21Paper
Interpreting a finitary pi-calculus in differential interaction nets2010-06-25Paper
An exact correspondence between a typed pi-calculus and polarised proof-nets2010-05-27Paper
On the categorical semantics of elementary linear logic2009-11-21Paper
Parametric mixed sequent calculus2009-05-11Paper
Quantitative Game Semantics for Linear Logic2008-11-20Paper
Interpreting a Finitary Pi-calculus in Differential Interaction Nets2008-09-18Paper
The Anatomy of Innocence Revisited2008-04-17Paper
Classical isomorphisms of types2006-03-10Paper
Syntax vs. semantics: A polarized approach2005-10-26Paper
Polarized and focalized linear and classical proofs2005-06-23Paper
https://portal.mardi4nfdi.de/entity/Q46505832005-02-18Paper
Polarized games2004-11-18Paper
Polarized proof-nets and \(\lambda \mu\)-calculus2003-01-21Paper
https://portal.mardi4nfdi.de/entity/Q27788272002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q27639952002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q42638721999-11-21Paper

Research outcomes over time

This page was built for person: Olivier Laurent