Interaction Categories (Extended Abstract)
S. Abramsky
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
S. Abramsky