New Foundations for the Geometry of Interaction
S. Abramsky and R. Jagadeesan
Details
| Book Title |
Symposium on Logic in Computer Science |
| Pages |
211−222 |
| Publisher |
Computer Society Press of the IEEE |
| Year |
1992 |
Links
Related pages
|
People |