Presheaf models for the ss-calculus (1997)

by G L Cattani, I Stark, G Winskel
Venue:In Proc. CTCS'97, LNCS