scientific article; zbMATH DE number 7471702

MaRDI QIDQ5028467

Dan Marsden, Maaike Zwart

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/2003.12531

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

zbMATH Keywords

compositionalitymonadsdistributive lawsno-go theorems

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (3)

Preservation and reflection of bisimilarity via invertible steps ⋮ The Power-Set Construction for Tree Algebras ⋮ Algebraic presentation of semifree monads

Cites Work

• Semantics of weakening and contraction
• Layer by layer -- combining monads
• Iterated covariant powerset is not a monad
• A divertimento on MonadPlus and nondeterminism
• Monads on symmetric monoidal closed categories
• Postulates for the barycentric calculus
• Iterated distributive laws
• Convexity, Duality and Effects
• Monad compositions II: Kleisli strength
• Backtracking with cut via a distributive law and left-zero monoids
• Distributing probability over non-determinism
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Presenting Distributive Laws
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: