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

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4823132 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full abstraction for PCF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4218919 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263830 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full abstraction for idealized Algol with passive expressions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4198056 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regular-Language Semantics for a Call-by-Value Programming Language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2754137 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The regular-language semantics of second-order idealized ALGOL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Game theoretic analysis of call-by-value computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: On full abstraction for PCF: I, II and III / rank
 
Normal rank
Property / cites work
 
Property / cites work: Even Simple Programs Are Hard To Analyze / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4474156 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the semantics of the bad-variable constructor in Algol-like languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functions with local state: regularity and undecidability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3221403 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3392273 / rank
 
Normal rank

Latest revision as of 16:58, 10 June 2024

scientific article
Language Label Description Also known as
English
Games for complexity of second-order call-by-name programs
scientific article

    Statements

    Identifiers

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