Programs from proofs using classical dependent choice (Q2482844)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Programs from proofs using classical dependent choice |
scientific article; zbMATH DE number 5267336
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Programs from proofs using classical dependent choice |
scientific article; zbMATH DE number 5267336 |
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
0.8337645530700684
0 references
0.8190707564353943
0 references
0.8093423247337341
0 references
