Games and full completeness for multiplicative linear logic (1994)

by S Abramsky, R Jagadeesan
Venue:J. Symb. Logic