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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

36 Citations (Scopus)

Original language	English
Title of host publication	Types for Proofs and Programs (Proceedings TYPES'94, Bastad, Sweden, June 6-10, 1994, Selected Papers)
Editors	P. Dybjer, B. Nordström, J.M. Smith
Place of Publication	Berlin
Publisher	Springer
Pages	14-38
ISBN (Print)	3-540-60579-7
DOIs	https://doi.org/10.1007/3-540-60579-7_2
Publication status	Published - 1995

Name	Lecture Notes in Computer Science
Volume	996
ISSN (Print)	0302-9743

Access to Document

Geuvers, J. H. (1995). A short and flexible proof of strong normalization for the calculus of constructions. In P. Dybjer, B. Nordström, & J. M. Smith (Eds.), Types for Proofs and Programs (Proceedings TYPES'94, Bastad, Sweden, June 6-10, 1994, Selected Papers) (pp. 14-38). (Lecture Notes in Computer Science; Vol. 996). Springer. https://doi.org/10.1007/3-540-60579-7_2

@inproceedings{d21eb06d7280424aac97f9c75d0f632a,

title = "A short and flexible proof of strong normalization for the calculus of constructions",

author = "J.H. Geuvers",

year = "1995",

doi = "10.1007/3-540-60579-7_2",

language = "English",

isbn = "3-540-60579-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "14--38",

editor = "P. Dybjer and B. Nordstr{\"o}m and J.M. Smith",

booktitle = "Types for Proofs and Programs (Proceedings TYPES'94, Bastad, Sweden, June 6-10, 1994, Selected Papers)",

address = "Germany",

}

A short and flexible proof of strong normalization for the calculus of constructions. / Geuvers, J.H.
Types for Proofs and Programs (Proceedings TYPES'94, Bastad, Sweden, June 6-10, 1994, Selected Papers). ed. / P. Dybjer; B. Nordström; J.M. Smith. Berlin: Springer, 1995. p. 14-38 (Lecture Notes in Computer Science; Vol. 996).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Geuvers, J.H.

PY - 1995

Y1 - 1995

U2 - 10.1007/3-540-60579-7_2

DO - 10.1007/3-540-60579-7_2

M3 - Conference contribution

SN - 3-540-60579-7

T3 - Lecture Notes in Computer Science

SP - 14

EP - 38

BT - Types for Proofs and Programs (Proceedings TYPES'94, Bastad, Sweden, June 6-10, 1994, Selected Papers)

A2 - Dybjer, P.

A2 - Nordström, B.

A2 - Smith, J.M.

PB - Springer

CY - Berlin

ER -