Braüner, T. (1994). A General Adequacy Result for a Linear Functional Language. BRICS Report Series, 1(22). https://doi.org/10.7146/brics.v1i22.21645