
Search the dblp DataBase
Olivier Laurent:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Russ Harmer, Olivier Laurent
The Anatomy of Innocence Revisited. [Citation Graph (0, 0)][DBLP] FSTTCS, 2006, pp:224235 [Conf]
 Olivier Laurent
Polarized Games. [Citation Graph (0, 0)][DBLP] LICS, 2002, pp:2650 [Conf]
 Olivier Laurent, Lorenzo Tortora de Falco
Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. [Citation Graph (0, 0)][DBLP] LICS, 2006, pp:179188 [Conf]
 Olivier Laurent, Laurent Regnier
About Translations of Classical Logic into Polarized Linear Logic. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:1120 [Conf]
 Olivier Laurent
A Token Machine for Full Geometry of Interaction. [Citation Graph (0, 0)][DBLP] TLCA, 2001, pp:283297 [Conf]
 Olivier Laurent
Polarized ProofNets: ProofNets for LC. [Citation Graph (0, 0)][DBLP] TLCA, 1999, pp:213227 [Conf]
 Olivier Laurent
Polarized games. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:130, n:13, pp:79123 [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:23, pp:217264 [Journal]
 Olivier Laurent
Polarized proofnets and lambdaµcalculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:290, n:1, pp:161188 [Journal]
 Olivier Laurent
Syntax vs. semantics: A polarized approach. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:343, n:12, pp:177206 [Journal]
 Thomas Ehrhard, Olivier Laurent
Interpreting a Finitary Picalculus in Differential Interaction Nets. [Citation Graph (0, 0)][DBLP] CONCUR, 2007, pp:333348 [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.011secs, Finished in 0.012secs
