An Algebraic Account of References in Game Semantics

DOI10.1016/j.entcs.2009.07.099zbMath1337.68074OpenAlexW2170419064MaRDI QIDQ2805167

Nicolas Tabareau, Paul-André Melliès

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

trace operatorgame semanticstensor logicmemory accesscompact-closed categoriesgeneral referencesreplication modality

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the semantics of the bad-variable constructor in Algol-like languages
• Coherence for compact closed categories
• Sequential algorithms on concrete data structures
• On full abstraction for PCF: I, II and III
• A game semantics of names and pointers
• A Categorical Semantics of Higher Order Store
• Simple relational correctness proofs for static analyses and program transformations
• Bad Variables Under Control
• On traced monoidal closed categories
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Traced monoidal categories
• Global State Considered Helpful

This page was built for publication: An Algebraic Account of References in Game Semantics