A simple set-theoretic semantics for the Calculus of Constructions (1996)

by M Stefanova, H Geuvers
Venue:Proceedings of TYPES'95, volume 1158 of Lecture Notes in Computer Science