The semantics and proof theory of linear logic, Theoretical Computer Science 57 (1988)

by A Avron