Braüner, Torben
-
BRICS Report Series No. 13 (1995): RS-13 The Girard Translation Extended with Recursion - Articles
The Girard Translation Extended with Recursion
Abstract PDF -
BRICS Report Series No. 10 (1996): RS-10 Cut-Elimination for Full Intuitionistic Linear Logic - Articles
Cut-Elimination for Full Intuitionistic Linear Logic
Abstract PDF -
BRICS Report Series No. 27 (1994): RS-27 A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version) - Articles
A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version)
Abstract PDF -
BRICS Report Series No. 22 (1994): RS-22 A General Adequacy Result for a Linear Functional Language - Articles
A General Adequacy Result for a Linear Functional Language
Abstract PDF