A short and flexible proof of Strong Normalization for the Calculus of Constructions (1994)
by
Herman Geuvers
| Citations: | 15 - 0 self |
Document Versions
| A short and flexible proof of Strong Normalization for the Calculus of Constructions –Herman Geuvers — 1994 |
