BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Laurent:Olivier

Contributed to:

CSL 20082008
LICS 20082008
LICS 20062006
LICS 20032003
LICS 20022002
TLCA 20012001
TLCA 19991999

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.