Braüner, T. A General Adequacy Result for a Linear Functional Language. BRICS 1994, 1.