Abstract scalars, loops, and free traced and strongly compact closed categories (2005)

by S Abramsky
Venue:Springer-Verlag, Lecture Notes in Comp. Sci. 3629