The semantics and proof theory of linear logic (1988)

by A Avron
Venue:Theoretical Computer Science