Programs from proofs using classical dependent choice (Q2482844)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Programs from proofs using classical dependent choice |
scientific article |
Statements
Programs from proofs using classical dependent choice (English)
0 references
24 April 2008
0 references
computational content of classical proofs
0 references
\(A\)-translation
0 references
Minlog
0 references
classical dependent choice
0 references
infinite tape example
0 references
