Computational interpretations of linear logic (1993)

by S Abramsky
Venue:Theoretical Computer Science