1987] "The Theory of Constructions: categorical semantics and topos theoretic models (0)

by M Hyland, A Pitts
Venue:Categories in Comp. Sci. and Logic, Boulder (AMS notes