scientific article

zbMath1271.18006MaRDI QIDQ2847820

Olha Shkaravska, A. John Power

Publication date: 11 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051813

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (16)

Stream processors and comodels ⋮ Runners in Action ⋮ Coalgebraic update lenses ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ Combining algebraic effects with continuations ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Sweedler theory of monads ⋮ Sound and complete equational reasoning over comodels ⋮ Programming with algebraic effects and handlers ⋮ Decomposing Comonad Morphisms. ⋮ Fully abstract trace semantics for protected module architectures ⋮ Tensors of Comodels and Models for Operational Semantics ⋮ Towards Effects in Mathematical Operational Semantics ⋮ Stateful runners of effectful computations ⋮ Comonadic Notions of Computation

This page was built for publication: