![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Olivier Laurent 0001
Person information
- affiliation: Université de Lyon, France
Other persons with the same name
- Olivier Laurent 0002 — ENSTA Paris, France (and 1 more)
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i2]Rémi Di Guardia, Olivier Laurent:
Type Isomorphisms for Multiplicative-Additive Linear Logic. CoRR abs/2402.11987 (2024) - 2023
- [c16]Rémi Di Guardia, Olivier Laurent:
Type Isomorphisms for Multiplicative-Additive Linear Logic. FSCD 2023: 26:1-26:21 - 2021
- [c15]Olivier Laurent:
An anti-locally-nameless approach to formalizing quantifiers. CPP 2021: 300-312 - 2020
- [j13]Olivier Laurent:
Polynomial time in untyped elementary linear logic. Theor. Comput. Sci. 813: 117-142 (2020) - [c14]Esaïe Bauer, Olivier Laurent:
Super Exponentials in Linear Logic. Linearity&TLLA@IJCAR-FSCD 2020: 50-73
2010 – 2019
- 2019
- [c13]Aurore Alcolei, Pierre Clairambault, Olivier Laurent:
Resource-Tracking Concurrent Games. FoSSaCS 2019: 27-44 - 2018
- [c12]Olivier Laurent:
Around Classical and Intuitionistic Linear Logics. LICS 2018: 629-638 - [c11]Olivier Laurent:
Intersection Subtyping with Constructors. DCM/ITRS 2018: 73-84 - 2017
- [j12]Olivier Laurent:
Focusing in Orthologic. Log. Methods Comput. Sci. 13(3) (2017) - 2016
- [c10]Olivier Laurent:
Focusing in Orthologic. FSCD 2016: 25:1-25:17 - [i1]Olivier Laurent:
Focusing in Orthologic. CoRR abs/1612.01728 (2016) - 2012
- [j11]Olivier Laurent:
Intersection Types with Subtyping by Means of Cut Elimination. Fundam. Informaticae 121(1-4): 203-226 (2012) - 2011
- [j10]Olivier Laurent:
Intuitionistic Dual-intuitionistic Nets. J. Log. Comput. 21(4): 561-587 (2011) - 2010
- [j9]Thomas Ehrhard, Olivier Laurent:
Acyclic Solos and Differential Interaction Nets. Log. Methods Comput. Sci. 6(3) (2010) - [j8]Olivier Laurent:
Game semantics for first-order logic. Log. Methods Comput. Sci. 6(4) (2010) - [j7]Thomas Ehrhard, Olivier Laurent:
Interpreting a finitary pi-calculus in differential interaction nets. Inf. Comput. 208(6): 606-633 (2010) - [j6]Kohei Honda, Olivier Laurent:
An exact correspondence between a typed pi-calculus and polarised proof-nets. Theor. Comput. Sci. 411(22-24): 2223-2238 (2010)
2000 – 2009
- 2008
- [c9]Ugo Dal Lago, Olivier Laurent:
Quantitative Game Semantics for Linear Logic. CSL 2008: 230-245 - [c8]Olivier Laurent, Roberto Maieli
:
Cut Elimination for Monomial MALL Proof Nets. LICS 2008: 486-497 - 2007
- [c7]Thomas Ehrhard, Olivier Laurent:
Interpreting a Finitary Pi-calculus in Differential Interaction Nets. CONCUR 2007: 333-348 - 2006
- [c6]Russell Harmer, Olivier Laurent:
The Anatomy of Innocence Revisited. FSTTCS 2006: 224-235 - [c5]Olivier Laurent, Lorenzo Tortora de Falco
:
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. LICS 2006: 179-188 - 2005
- [j5]Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco
:
Polarized and focalized linear and classical proofs. Ann. Pure Appl. Log. 134(2-3): 217-264 (2005) - [j4]Olivier Laurent:
Classical isomorphisms of types. Math. Struct. Comput. Sci. 15(5): 969-1004 (2005) - [j3]Olivier Laurent:
Syntax vs. semantics: A polarized approach. Theor. Comput. Sci. 343(1-2): 177-206 (2005) - 2004
- [j2]Olivier Laurent:
Polarized games. Ann. Pure Appl. Log. 130(1-3): 79-123 (2004) - 2003
- [j1]Olivier Laurent:
Polarized proof-nets and lambda-µ-calculus. Theor. Comput. Sci. 290(1): 161-188 (2003) - [c4]Olivier Laurent, Laurent Regnier:
About Translations of Classical Logic into Polarized Linear Logic. LICS 2003: 11-20 - 2002
- [c3]Olivier Laurent:
Polarized Games. LICS 2002: 265- - 2001
- [c2]Olivier Laurent:
A Token Machine for Full Geometry of Interaction. TLCA 2001: 283-297
1990 – 1999
- 1999
- [c1]Olivier Laurent:
Polarized Proof-Nets: Proof-Nets for LC. TLCA 1999: 213-227
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint