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