Global state considered helpful

DOI10.1016/J.ENTCS.2008.10.015MaRDI QIDQ5415641zbMATH OpenOpenAlexFDO

Authors 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

categorical semanticsgame semanticsgood variables

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1231510
• An algebraic account of references in game semantics
• Foundations of Software Science and Computation Structures
• A logic of sequentiality
• A categorical semantics of higher order store

Cites work

• A categorical semantics of higher order store
• A Fully Abstract Trace Semantics for General References
• Bad Variables Under Control
• Coherence in substructural categories
• Full abstraction for nominal general references
• scientific article; zbMATH DE number 1223609 (Why is no real title available?)
• scientific article; zbMATH DE number 1231510 (Why is no real title available?)
• scientific article; zbMATH DE number 2172969 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• Infinite trace equivalence
• On full abstraction for PCF: I, II and III
• On the semantics of the bad-variable constructor in Algol-like languages
• Parametricity and local variables
• Relational Reasoning for Recursive Types and References
• Typed Lambda Calculi and Applications

Cited in

(5)

• Effect algebras, presheaves, non-locality and contextuality
• Monoidal indeterminates and categories of possible worlds
• An algebraic account of references in game semantics
• Full abstraction for Reduced ML
• Monoidal indeterminates and categories of possible worlds

This page was built for publication: Global state considered helpful

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415641)