Søren B. Lassen

发表

Søren B. Lassen, S. Lassen, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

Andrew Moran, Søren B. Lassen, 1999, MFCS.

Simon L. Peyton Jones, Andrew Moran, Søren B. Lassen, 1999, Electron. Notes Theor. Comput. Sci..

Paul Blain Levy, Søren B. Lassen, P. Levy, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.

Søren B. Lassen, 1997, Math. Struct. Comput. Sci..

Chao Yang, Sriram Sankar, Sergey Doroshenko, 2013, Proc. VLDB Endow..

Corin Pitcher, Søren B. Lassen, 1997, Electron. Notes Theor. Comput. Sci..

Kristian Støvring, Søren B. Lassen, 2009, Semantics and Algebraic Specification.

Søren B. Lassen, S. Lassen, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).

Andrew D. Gordon, Søren B. Lassen, Paul D. Hankin, 1997, Journal of Functional Programming.

Michael Luby, Søren B. Lassen, Gavin B. Horn, 2001, Computer.

Søren B. Lassen, S. Lassen, 2006, MFPS.

Søren B. Lassen, 1995 .

Paul Blain Levy, Søren B. Lassen, P. Levy, 2007, CSL.

Glynn Winskel, Olivier Danvy, Peter Ørbæk, 1999 .

Søren B. Lassen, Kristian Støvring, S. Lassen, 2007, POPL '07.

Søren B. Lassen, S. Lassen, Søren B. Lassen, 1999, MFPS.