Skip to main content
Conference Proceedings

A short and flexible proof of strong normalization for the calculus of constructions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1995) 996 14-38
DOI: 10.1007/3-540-60579-7_2
36Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.
Get full text

Cite

CITATION STYLE

APA

Geuvers, H. (1995). A short and flexible proof of strong normalization for the calculus of constructions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 996, pp. 14–38). Springer Verlag. https://doi.org/10.1007/3-540-60579-7_2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free