The theory of constructions: categorical semantics and topostheoretic models (1987)

by E Hyland, A Pitts
Venue:In Proceedings of the AMS Conference on Categories in Computer Science and Logic