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: Lassen:S=oslash=ren_B=
Contributed to:
2008
2007
20072006Wrote 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.