Skip to main content

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