Operational Interpretations of Linear Logic

David N. Turner, Philip Wadler. Operational Interpretations of Linear Logic. Theoretical Computer Science, 227(1-2):231-248, 1999. [doi]

Abstract

Abstract is missing.