Games and Full Completeness for Multiplicative Linear (1994)

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