People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Curriculum Vitae Soren Lassen 233 Bartlett Street, San Francisco, CA 94110 Phone: 415.821.3228 (home), 415.317.8750 (cell) Gmail: sorenlassen URL: http://soren.blassen.dk
With Soren Lassen. Long version. In Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, p. 329-375.
Eager NormalForm Bisimulation Soren Lassen Google, Inc. [email protected] Abstract This paper describes two newbisimulation equivalences for the pure untype d call-by-value λ -calculus ...
... Paris 7 (PC Chair) René David, Université de Savoie Dan Ghica, University of Birmingham Ryu Hasegawa, Tokyo University Barry Jay, University of Technology, Sydney Soren Lassen ...
I will also discuss more recent developments, including: the applications of the new techniques to functional languages (especially the work of Soren Lassen) and to process calculi ...
Linkedin
Focon Electronic Systems A/S (Privately Held; Electrical/Electronic Manufacturing industry): Manager Sales, (September 2008-November 2009)