An algebraic account of references in game semantics

DOI10.1016/J.ENTCS.2009.07.099MaRDI QIDQ2805167zbMATH OpenOpenAlexFDO

Authors Paul-André Melliès, Nicolas Tabareau

Publication date 10 May 2016

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.2009.07.099

zbMATH Keywords

game semanticstrace operatortensor logicmemory accesscompact-closed categoriesgeneral referencesreplication modality

Mathematics Subject Classification ID

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

Recommendations

• Deconstructing general references via game semantics
• scientific article; zbMATH DE number 2110612
• Games in algebraic logic: axiomatisations and beyond
• Games in the semantics of programming languages -- an elementary introduction
• Algorithmic nominal game semantics
• Abstract machines for game semantics, revisited
• Static Analysis
• A relation-algebraic approach to simple games
• scientific article; zbMATH DE number 7340142
• A game-semantic model of computation

Cites work

• 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 1759401 (Why is no real title available?)
• A categorical semantics of higher order store
• A game semantics of names and pointers
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Bad Variables Under Control
• Coherence for compact closed categories
• Global state considered helpful
• On full abstraction for PCF: I, II and III
• On the semantics of the bad-variable constructor in Algol-like languages
• On traced monoidal closed categories
• Sequential algorithms on concrete data structures
• Simple relational correctness proofs for static analyses and program transformations
• Traced monoidal categories

Cited in

(4)

• Global state considered helpful
• Deconstructing general references via game semantics
• A categorical semantics of higher order store
• Grounding game semantics in categorical algebra

This page was built for publication: An algebraic account of references in game semantics

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