Skip to main content

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