Global State Considered Helpful

DOI10.1016/j.entcs.2008.10.015zbMath1286.68301MaRDI 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 semantics; categorical semantics; good variables

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Full abstraction for Reduced ML, Monoidal indeterminates and categories of possible worlds, Effect algebras, presheaves, non-locality and contextuality, 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