From global to local state, coalgebraically and compositionally

DOI10.1016/J.ENTCS.2019.09.011MaRDI QIDQ2133173zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Recommendations

• Semantics for local computational effects
• Completeness for algebraic theories of local state
• State dependent IO-monads in type theory
• Sequoidal categories and transfinite games: a coalgebraic approach to stateful objects in game semantics
• A categorical semantics of higher order store

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• A calculus of mobile processes. I
• A categorical semantics of higher order store
• A coinductive calculus of streams
• A note on actions of a monoidal category
• A syntactic theory of sequential control
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus
• Coalgebras and monads in the semantics of Java
• Imperative programs as proofs via game semantics
• Linearly-used state in models of call-by-value
• Premonoidal categories and notions of computation
• Sequoidal categories and transfinite games: a coalgebraic approach to stateful objects in game semantics
• Some programming languages suggested by game models (extended abstract)
• Traced monoidal categories
• Universal coalgebra: A theory of systems

Cited in

(3)

• scientific article; zbMATH DE number 2186713 (Why is no real title available?)
• An axiomatic account of a fully abstract game semantics for general references
• Axiomization of passage from “local” structure to “global” object

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

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