Traced Premonoidal Categories (1999)

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