On traced monoidal closed categories (2009)

by M Hasegawa
Venue:Mathematical Structures in Computer Science