Computational interpretations of linear logic. Theoretical Computer Science 111 (1993)

by S Abramsky