Exploring Computational Contents of Intuitionist Proofs (Q5463274)
From MaRDI portal
scientific article; zbMATH DE number 2190986
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exploring Computational Contents of Intuitionist Proofs |
scientific article; zbMATH DE number 2190986 |
Statements
Exploring Computational Contents of Intuitionist Proofs (English)
0 references
3 August 2005
0 references
Program synthesis
0 references
Intuitionistic logic
0 references
Natural deduction
0 references
