scientific article
From MaRDI portal
Publication:3432078
zbMath1131.18003MaRDI QIDQ3432078
Publication date: 13 April 2007
Full work available at URL: https://eudml.org/doc/128434
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) 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) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (14)
Weakest preconditions in fibrations ⋮ Iterated covariant powerset is not a monad ⋮ Near distributive laws ⋮ A divertimento on MonadPlus and nondeterminism ⋮ Convexity via Weak Distributive Laws ⋮ Many valued topologies on L-sets ⋮ Distributive laws for relative monads ⋮ The Power-Set Construction for Tree Algebras ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Unnamed Item ⋮ Combining semilattices and semimodules ⋮ Unnamed Item ⋮ Weakest preconditions in fibrations ⋮ Separated and prime compactifications
This page was built for publication:
