A short and flexible proof of strong normalization for the calculus of constructions
Open Access
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Modular proof of strong normalization for the calculus of constructionsJournal of Functional Programming, 1991
- The calculus of constructionsInformation and Computation, 1988
- A realizability interpretation of the theory of speciesLecture Notes in Mathematics, 1975
- Infinitely Long Terms of Transfinite TypePublished by Elsevier ,1965