A short and flexible proof of Strong Normalization for the Calculus of Constructions (1994)

Cached

Download Links

by Herman Geuvers
Citations:15 - 0 self