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 × France
1 × Poland
1 × USA
2 × The Netherlands
Collaborated with:
V.Danos O.Laurent P.Baillot T.Ehrhard P.Malacaria M.Pedicini H.Herbelin A.Asperti C.Laneve
Talks about:
logic (3) game (3) calculus (2) classic (2) linear (2) model (2) interpret (1) translat (1) timeless (1) abstract (1)

Person: Laurent Regnier

DBLP DBLP: Regnier:Laurent

Facilitated 1 volumes:

CSL 2016Ed

Contributed to:

LICS 20032003
CSL 19971997
LICS 19971997
CSL 19961996
LICS 19961996
LICS 19941994
LICS 19911991

Wrote 7 papers:

LICS-2003-LaurentR #linear #logic
About Translations of Classical Logic into Polarized Linear Logic (OL, LR), pp. 11–20.
CSL-1997-BaillotDER #game studies
Timeless Games (PB, VD, TE, LR), pp. 56–77.
LICS-1997-BaillotDE #game studies #linear #logic
Believe it or not, AJM’s Games Model is a Model of Classical Linear Logic (PB, VD, TE, LR), pp. 68–75.
CSL-1996-DanosPR #reduction
Directed Virtual Reductions (VD, MP, LR), pp. 76–88.
LICS-1996-DanosHR #automaton #game studies #semantics
Game Semantics & Abstract Machines (VD, HH, LR), pp. 394–405.
LICS-1994-AspertiDLR #λ-calculus
Paths in the λ-calculus (AA, VD, CL, LR), pp. 426–436.
LICS-1991-MalacariaR #algebra #λ-calculus
Some Results on the Interpretation of λ-calculus in Operator Algebras (PM, LR), pp. 63–72.

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.