A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis (Q5361260): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W2268047087 / rank
 
Normal rank

Revision as of 02:43, 20 March 2024

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
    0 references