Interaction categories (extended abstract (1993)

by S Abramsky
Venue:in Theory and Formal Methods Workshop