Traced monoidal categories (1996)

by A Joyal, R Street, D Verity
Venue:Mathematical Proceedings of the Cambridge Philosophical Society