Traced Premonoidal Categories (1999)

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

Document Versions

Traced Premonoidal Categories –Nick Benton, Martin Hyland — 1999