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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references