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

Cached

Download Links

by M. Stefanova , H. Geuvers
Venue:Types for Proofs and Programs, International Workshop TYPES'95
Citations:3 - 0 self