Intrinsic reasoning about functional programs. I: First order theories (Q5957855)
From MaRDI portal
scientific article; zbMATH DE number 1719170
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intrinsic reasoning about functional programs. I: First order theories |
scientific article; zbMATH DE number 1719170 |
Statements
Intrinsic reasoning about functional programs. I: First order theories (English)
0 references
2 June 2002
0 references
intrinsic theories
0 references
free algebras
0 references
first-order arithmetic
0 references
Curry-Howard morphisms
0 references
reasoning about functional programs
0 references
equational programs
0 references
strong normalization theorem
0 references
natural deduction
0 references
\(\lambda\)-calculus
0 references
