A general method for proving the normalization theorem for first and second order typed λ-calculi (Q4946629)
From MaRDI portal
scientific article; zbMATH DE number 1422510
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A general method for proving the normalization theorem for first and second order typed λ-calculi |
scientific article; zbMATH DE number 1422510 |
Statements
A general method for proving the normalization theorem for first and second order typed λ-calculi (English)
0 references
23 August 2000
0 references
typed lambda-calculus
0 references
normalization property
0 references
Girard's system F
0 references
