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