Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories (2005)

by S Abramsky
Venue:In Proceedings of CALCO 2005, Springer LNCS