Torben Braüner. A General Adequacy Result for a Linear Functional Language. Theoretical Computer Science, 177(1):27-58, 1997. [doi]
@article{Brauner97, title = {A General Adequacy Result for a Linear Functional Language}, author = {Torben Braüner}, year = {1997}, doi = {10.1016/S0304-3975(96)00233-2}, url = {http://dx.doi.org/10.1016/S0304-3975(96)00233-2}, researchr = {https://researchr.org/publication/Brauner97}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {177}, number = {1}, pages = {27-58}, }