Lassen, Søren B.
-
BRICS Report Series No. 24 (1997): RS-24 Relational Reasoning about Contexts - Articles
Relational Reasoning about Contexts
Abstract PDF -
BRICS Report Series No. 25 (1995): RS-25 Basic Action Theory - Articles
Basic Action Theory
Abstract PDF -
BRICS Report Series No. 4 (2007): RS-4 A Complete, Co-Inductive Syntactic Theory of Sequential Control and State - Articles
A Complete, Co-Inductive Syntactic Theory of Sequential Control and State
Abstract PDF -
BRICS Report Series No. 55 (1998): RS-55 Compilation and Equivalence of Imperative Objects (Revised Report) - Articles
Compilation and Equivalence of Imperative Objects (Revised Report)
Abstract PDF -
BRICS Report Series No. 19 (1997): RS-19 Compilation and Equivalence of Imperative Objects - Articles
Compilation and Equivalence of Imperative Objects
Abstract PDF