Traced Premonoidal Categories (1999)

by Nick Benton , Martin Hyland
Citations:12 - 0 self