Interaction Categories (Extended Abstract)
S. Abramsky
Details
| Book Title |
Theory and Formal Methods 1993 |
| Editor |
G. L. Burn and S. J. Gay and M. D. Ryan |
| Pages |
57−69 |
| Publisher |
Springer−Verlag |
| Year |
1993 |
Links
Related pages
|
People |