From global to local state, coalgebraically and compositionally

DOI10.1016/j.entcs.2019.09.011OpenAlexW2995650775WikidataQ113317352 ScholiaQ113317352MaRDI QIDQ2133173

Jim Laird

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.09.011

Mathematics Subject Classification ID

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
• Unnamed Item
• Imperative programs as proofs via game semantics
• A syntactic theory of sequential control
• A calculus of mobile processes. I
• Universal coalgebra: A theory of systems
• Coalgebras and monads in the semantics of Java
• Some Programming Languages Suggested by Game Models (Extended Abstract)
• A Categorical Semantics of Higher Order Store
• Linearly-Used State in Models of Call-by-Value
• Premonoidal categories and notions of computation
• A coinductive calculus of streams
• Traced monoidal categories
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus

This page was built for publication: From global to local state, coalgebraically and compositionally