Specifying Interaction Categories
Dusko Pavlovic and Samson Abramsky
Details
| Book Title |
Category Theory and Computer Science '97 |
| Editor |
E. Moggi and G. Rosolini |
| Pages |
147–158 |
| Publisher |
Springer Verlag |
| Series |
Lecture Notes in Computer Science |
| Volume |
1290 |
| Year |
1997 |
Links
Related pages
|
People |