Concepedia

Søren B. Lassen

SB

11

Publications

363

Citations

11

H-Index

1997

Active since

Affiliations

Google (United States)(Current)

Aarhus University

University of Cambridge

Søren B. Lassen is an author at Google (United States) specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceSyntaxProgram AnalysisGrammarLanguageCompilers

Publications per year

1997–2008

11

Publications

11

Relational Reasoning about Functions and Nondeterminism

Søren B. Lassen, Olivier Danvy, Glynn Winskel et al. · 1999 · 76 citations

Eager Normal Form Bisimulation

Søren B. Lassen · 2006 · 57 citations

Engineering, New Bisimulation Equivalences, Type Theory +12

Bisimulation in Untyped Lambda Calculus:

Søren B. Lassen · Electronic Notes in Theoretical Computer Science · 1999 · 42 citations · Full text

Normal Forms, Tree Language, Untyped Lambda Calculus +12

Typed Normal Form Bisimulation for Parametric Polymorphism

Søren B. Lassen, Paul Blain Levy · Proceedings - Symposium on Logic in Computer Science · 2008 · 40 citations

Typed Lambda Calculi, Engineering, Automated Reasoning +11

A complete, co-inductive syntactic theory of sequential control and state

Kristian Støvring, Søren B. Lassen · 2007 · 34 citations

Syntax, Engineering, Automated Reasoning +11

Rows per page

1–5 of 11