Traced premonoidal categories (1999)

by Nick Benton, Martin Hyland