A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis (Q5361260)

From MaRDI portal
Revision as of 05:22, 23 November 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6781296
Language Label Description Also known as
English
A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis
scientific article; zbMATH DE number 6781296

    Statements

    A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis (English)
    0 references
    27 September 2017
    0 references
    functional interpretation of proofs
    0 references
    product of selection functions
    0 references
    sequential games
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references