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