and full completeness for multiplicative linear logic (1994)

by S Abramsky, R Games Jagadeesan
Venue:Journal of Symbolic Logic