Traced Premonoidal Categories (1999)

by Nick Benton, Martin Hyland