A proof of the cut-elimination theorem in simple type theory (Q5183470)
From MaRDI portal
scientific article; zbMATH DE number 3432216
Language | Label | Description | Also known as |
---|---|---|---|
English | A proof of the cut-elimination theorem in simple type theory |
scientific article; zbMATH DE number 3432216 |
Statements
A proof of the cut-elimination theorem in simple type theory (English)
0 references
1973
0 references