A General Adequacy Result for a Linear Functional Language

Torben Bra√ľner. A General Adequacy Result for a Linear Functional Language. Theoretical Computer Science, 177(1):27-58, 1997. [doi]

Abstract

Abstract is missing.