Games for complexity of second-order call-by-name programs (Q2570133)

From MaRDI portal
Revision as of 22:17, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Games for complexity of second-order call-by-name programs
scientific article

    Statements

    Games for complexity of second-order call-by-name programs (English)
    0 references
    26 October 2005
    0 references
    Game semantics
    0 references
    Computational complexity
    0 references
    Program analysis
    0 references

    Identifiers

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