Games and full completeness for multiplicative linear logic (1994)

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