Traced monoidal categories (1996)

by André Joyal, Ross Street, Domnic Verity
Venue:Mathematical Proceedings of the Cambridge Philosophical Society