Herman Geuvers. A short and flexible proof of Strong Normalization for the Calculus of Constructions. In Peter Dybjer, Bengt Nordström, Jan M. Smith, editors, Types for Proofs and Programs, International Workshop TYPES 94, Båstad, Sweden, June 6-10, 1994, Selected Papers. Volume 996 of Lecture Notes in Computer Science, pages 14-38, Springer, 1994.
@inproceedings{Geuvers94,
title = {A short and flexible proof of Strong Normalization for the Calculus of Constructions},
author = {Herman Geuvers},
year = {1994},
researchr = {https://researchr.org/publication/Geuvers94},
cites = {0},
citedby = {0},
pages = {14-38},
booktitle = {Types for Proofs and Programs, International Workshop TYPES 94, Båstad, Sweden, June 6-10, 1994, Selected Papers},
editor = {Peter Dybjer and Bengt Nordström and Jan M. Smith},
volume = {996},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60579-7},
}