Computational interpretations of linear logic. (1993)

by Samson Abramsky
Venue:Theoretical Computer Science,