A monad for full ground reference cells
From MaRDI portal
Publication:5144656
zbMath1458.68122arXiv1702.04908MaRDI QIDQ5144656
Sam Staton, Sean Moss, Paul Blain Levy, Ohad Kammar
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1702.04908
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Functor categories, comma categories (18A25)
Related Items (5)
Category-theoretic structure for independence and conditional independence ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ An algebraic theory for shared-state concurrency ⋮ Local local reasoning: a BI-hyperdoctrine for full ground store ⋮ Unnamed Item
This page was built for publication: A monad for full ground reference cells
