Traced premonoidal categories (0)

by N Benton, M Hyland
Venue:J. Theoretical Informatics and Applications