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