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