Computational Interpretations of Linear logic
S. Abramsky
Details
| Book Title |
J. Theoretical Computer Science‚ 111 |
| Pages |
3−57 |
| Year |
1993 |
Links
Related pages
|
People |
S. Abramsky
| Book Title |
J. Theoretical Computer Science‚ 111 |
| Pages |
3−57 |
| Year |
1993 |
|
People |