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