Explicit Substitution Internal Languages for Autonomous and *-Autonomous Categories (1999)

by T. W. Koh , C. -h. L. Ong
Venue:In Proc. Category Theory and Computer Science (CTCS'99), Electron
Citations:7 - 2 self