Games and Full Completeness for Multiplicative Linear Logic
S. Abramsky and R. Jagadeesan
Book Title
Foundations of Software Technology and Theoretical Computer Science
Editor
R. Shyamsundar
Pages
291−301
Publisher
Springer−Verlag
Year
1992
S. Abramsky and R. Jagadeesan