A simple model construction for the calculus of constructions (1996)

by Milena Stefanova, Herman Geuvers
Venue:In TYPES’95, volume 1158 of LNCS