|
Search the dblp DataBase
Olivier Laurent:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Russ Harmer, Olivier Laurent
The Anatomy of Innocence Revisited. [Citation Graph (0, 0)][DBLP] FSTTCS, 2006, pp:224-235 [Conf]
- Olivier Laurent
Polarized Games. [Citation Graph (0, 0)][DBLP] LICS, 2002, pp:265-0 [Conf]
- Olivier Laurent, Lorenzo Tortora de Falco
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. [Citation Graph (0, 0)][DBLP] LICS, 2006, pp:179-188 [Conf]
- Olivier Laurent, Laurent Regnier
About Translations of Classical Logic into Polarized Linear Logic. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:11-20 [Conf]
- Olivier Laurent
A Token Machine for Full Geometry of Interaction. [Citation Graph (0, 0)][DBLP] TLCA, 2001, pp:283-297 [Conf]
- Olivier Laurent
Polarized Proof-Nets: Proof-Nets for LC. [Citation Graph (0, 0)][DBLP] TLCA, 1999, pp:213-227 [Conf]
- Olivier Laurent
Polarized games. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:130, n:1-3, pp:79-123 [Journal]
- Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco
Polarized and focalized linear and classical proofs. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2005, v:134, n:2-3, pp:217-264 [Journal]
- Olivier Laurent
Polarized proof-nets and lambda-µ-calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:290, n:1, pp:161-188 [Journal]
- Olivier Laurent
Syntax vs. semantics: A polarized approach. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:343, n:1-2, pp:177-206 [Journal]
- Thomas Ehrhard, Olivier Laurent
Interpreting a Finitary Pi-calculus in Differential Interaction Nets. [Citation Graph (0, 0)][DBLP] CONCUR, 2007, pp:333-348 [Conf]
Quantitative Game Semantics for Linear Logic. [Citation Graph (, )][DBLP]
Cut Elimination for Monomial MALL Proof Nets. [Citation Graph (, )][DBLP]
Acyclic Solos and Differential Interaction Nets [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|