A Categorical Semantics of Higher Order Store

DOI10.1016/S1571-0661(04)80566-8zbMath1270.68068MaRDI QIDQ2842823

No author found.

Publication date: 16 August 2013

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (9)

From global to local state, coalgebraically and compositionally ⋮ Understanding Game Semantics Through Coherence Spaces ⋮ Imperative programs as proofs via game semantics ⋮ From Qualitative to Quantitative Semantics ⋮ Global State Considered Helpful ⋮ Some Programming Languages Suggested by Game Models (Extended Abstract) ⋮ An Algebraic Account of References in Game Semantics ⋮ Locally Boolean domains ⋮ A calculus of coroutines

Cites Work

• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Relational properties of domains
• Premonoidal categories and notions of computation
• Traced monoidal categories
• A Game Semantics of Idealized CSP
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Categorical Semantics of Higher Order Store