Global State Considered Helpful

DOI10.1016/j.entcs.2008.10.015zbMath1286.68301OpenAlexW2097622502MaRDI QIDQ5415641

Paul Blain Levy

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.015

zbMATH Keywords

game semanticscategorical semanticsgood variables

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Effect algebras, presheaves, non-locality and contextuality ⋮ Full abstraction for Reduced ML ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Monoidal Indeterminates and Categories of Possible Worlds ⋮ An Algebraic Account of References in Game Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the semantics of the bad-variable constructor in Algol-like languages
• Coherence in substructural categories
• On full abstraction for PCF: I, II and III
• Infinite trace equivalence
• A Categorical Semantics of Higher Order Store
• Full abstraction for nominal general references
• Bad Variables Under Control
• Parametricity and local variables
• Relational Reasoning for Recursive Types and References
• A Fully Abstract Trace Semantics for General References
• Typed Lambda Calculi and Applications

This page was built for publication: Global State Considered Helpful