Games for complexity of second-order call-by-name programs (Q2570133): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 07:36, 5 March 2024

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