Olivier Laurent

2007
11	EE	Thomas Ehrhard, Olivier Laurent: Interpreting a Finitary Pi-calculus in Differential Interaction Nets. CONCUR 2007: 333-348
2006
10	EE	Russ Harmer, Olivier Laurent: The Anatomy of Innocence Revisited. FSTTCS 2006: 224-235
9	EE	Olivier Laurent, Lorenzo Tortora de Falco: Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. LICS 2006: 179-188
2005
8	EE	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)
7	EE	Olivier Laurent: Syntax vs. semantics: A polarized approach. Theor. Comput. Sci. 343(1-2): 177-206 (2005)
2004
6	EE	Olivier Laurent: Polarized games. Ann. Pure Appl. Logic 130(1-3): 79-123 (2004)
2003
5	EE	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	EE	Olivier Laurent: Polarized Games. LICS 2002: 265-
2001
2	EE	Olivier Laurent: A Token Machine for Full Geometry of Interaction. TLCA 2001: 283-297
1999
1	EE	Olivier Laurent: Polarized Proof-Nets: Proof-Nets for LC. TLCA 1999: 213-227

Coauthor Index

1	Thomas Ehrhard	[11]
2	Lorenzo Tortora de Falco	[8] [9]
3	Russ Harmer	[10]
4	Myriam Quatrini	[8]
5	Laurent Regnier	[5]

Colors in the list of coauthors