## A Simple Model Construction for the Calculus of Constructions (1996)

by
M. Stefanova
,
H. Geuvers

Venue: | Types for Proofs and Programs, International Workshop TYPES'95 |

Citations: | 3 - 0 self |