Interaction categories', Marktoberdorf proceedings (1996)

by S Abramsky, S J Gay, R Nagarajan