`Travelled to:`

1 × Canada

1 × Denmark

1 × Poland

2 × Italy

2 × USA

`Collaborated with:`

∅ U.D.Lago R.Maieli L.T.d.Falco L.Regnier

`Talks about:`

proof (3) polar (3) logic (3) net (3) semant (2) linear (2) game (2) obsession (1) character (1) translat (1)

## Person: Olivier Laurent

### DBLP: Laurent:Olivier

### Contributed to:

### Wrote 7 papers:

- CSL-2008-LagoL #game studies #linear #logic #semantics
- Quantitative Game Semantics for Linear Logic (UDL, OL), pp. 230–245.
- LICS-2008-LaurentM #proving
- Cut Elimination for Monomial MALL Proof Nets (OL, RM), pp. 486–497.
- LICS-2006-LaurentF #bound #clique #complexity #semantics
- Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity (OL, LTdF), pp. 179–188.
- LICS-2003-LaurentR #linear #logic
- About Translations of Classical Logic into Polarized Linear Logic (OL, LR), pp. 11–20.
- LICS-2002-Laurent #game studies
- Polarized Games (OL), p. 265–?.
- TLCA-2001-Laurent #geometry #interactive
- A Token Machine for Full Geometry of Interaction (OL), pp. 283–297.
- TLCA-1999-Laurent
- Polarized Proof-Nets: Proof-Nets for LC (OL), pp. 213–227.