Specifying Interaction Categories
Dusko Pavlovic and Samson Abramsky
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