BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Switzerland
2 × USA
Collaborated with:
P.B.Levy K.Støvring
Talks about:
bisimul (3) normal (3) form (3) type (2) polymorph (1) sequenti (1) parametr (1) calculus (1) syntact (1) control (1)

Person: Søren B. Lassen

DBLP DBLP: Lassen:S=oslash=ren_B=

Contributed to:

LICS 20082008
CSL 20072007
POPL 20072007
LICS 20062006

Wrote 4 papers:

LICS-2008-LassenL #bisimulation #morphism #normalisation #parametricity #polymorphism
Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.
CSL-2007-LassenL #bisimulation #normalisation
Typed Normal Form Bisimulation (SBL, PBL), pp. 283–297.
POPL-2007-StovringL #induction
A complete, co-inductive syntactic theory of sequential control and state (KS, SBL), pp. 161–172.
LICS-2006-Lassen #bisimulation #normalisation #λ-calculus #μ-calculus
Head Normal Form Bisimulation for Pairs and the λμ-Calculus (SBL), pp. 297–306.

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.