Near distributive laws

DOI10.1016/J.ENTCS.2018.11.014OpenAlexW2904778759WikidataQ113317482 ScholiaQ113317482MaRDI QIDQ2134823

Phil Mulry, Ernie Manes

Publication date: 3 May 2022

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

zbMATH Keywords

free monadmonad compositionmonad approximationnear distributive law

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
• Unnamed Item
• Algebra in the Stone-Čech compactification: theory and applications
• Coequalizers and free triples
• Monad compositions II: Kleisli strength
• Adjoint Lifting Theorems for Categories of Algebras

This page was built for publication: Near distributive laws