Traced premonoidal categories (Extended Abstract (2002)

by N BENTON, M HYLAND
Venue:In Fixed Points in Computer Science Workshop, FICS’02