In the beginning was game semantics (Q3620031)

From MaRDI portal
Revision as of 20:39, 19 April 2024 by Importer (talk | contribs) (‎Changed label, description and/or aliases in en, and other parts)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
In the beginning was game semantics
scientific article

    Statements

    0 references
    14 April 2009
    0 references
    computability logic
    0 references
    interactive computation
    0 references
    game semantics
    0 references
    winnability
    0 references
    linear logic
    0 references
    constructive logics
    0 references
    affine logic
    0 references
    survey paper
    0 references
    cs.LO
    0 references
    cs.AI
    0 references
    math.LO
    0 references

    Identifiers

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