Abramsky. Computational interpretations of linear logic (1993)

by Samson
Venue:Theoretical Computer Science