The theory of constructions: categorical semantics and topos-theoretic models (0)

by J M E Hyland, A M Pitts
Venue:In Andrew M. Pitts Gray and Scedrov [1989