Games and Full Completeness for Multiplicative Linear Logic
S. Abramsky and R. Jagadeesan
Book Title
Journal of Symbolic Logic
Number
2
Pages
543−574
Volume
59
Year
1994
S. Abramsky and R. Jagadeesan