Olivier Laurent

	2008
14		Ugo Dal Lago, Olivier Laurent: Quantitative Game Semantics for Linear Logic. CSL 2008: 230-245
13		Olivier Laurent, Roberto Maieli: Cut Elimination for Monomial MALL Proof Nets. LICS 2008: 486-497
	2007
12		Thomas Ehrhard, Olivier Laurent: Interpreting a Finitary Pi-calculus in Differential Interaction Nets. CONCUR 2007: 333-348
	2006
11		Russell Harmer, Olivier Laurent: The Anatomy of Innocence Revisited. FSTTCS 2006: 224-235
10		Olivier Laurent, Lorenzo Tortora de Falco: Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. LICS 2006: 179-188
	2005
9		Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco: Polarized and focalized linear and classical proofs. Ann. Pure Appl. Logic 134(2-3): 217-264 (2005)
8		Olivier Laurent: Classical isomorphisms of types. Mathematical Structures in Computer Science 15(5): 969-1004 (2005)
7		Olivier Laurent: Syntax vs. semantics: A polarized approach. Theor. Comput. Sci. 343(1-2): 177-206 (2005)
	2004
6		Olivier Laurent: Polarized games. Ann. Pure Appl. Logic 130(1-3): 79-123 (2004)
	2003
5		Olivier Laurent, Laurent Regnier: About Translations of Classical Logic into Polarized Linear Logic. LICS 2003: 11-20
4		Olivier Laurent: Polarized proof-nets and lambda-µ-calculus. Theor. Comput. Sci. 290(1): 161-188 (2003)
	2002
3		Olivier Laurent: Polarized Games. LICS 2002: 265-
	2001
2		Olivier Laurent: A Token Machine for Full Geometry of Interaction. TLCA 2001: 283-297
	1999
1		Olivier Laurent: Polarized Proof-Nets: Proof-Nets for LC. TLCA 1999: 213-227

Coauthor Index

1	Thomas Ehrhard	[12]
2	Lorenzo Tortora de Falco	[9] [10]
3	Russell Harmer	[11]
4	Ugo Dal Lago	[14]
5	Roberto Maieli	[13]
6	Myriam Quatrini	[9]
7	Laurent Regnier	[5]

Colors in the list of coauthors