Affine Monads and Side-Effect-Freeness

DOI10.1007/978-3-319-40370-0_5zbMath1475.18031OpenAlexW2464575104MaRDI QIDQ5739449

Bart Jacobs

Publication date: 15 July 2016

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01446033/file/418352_1_En_5_Chapter.pdf

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Quantum logic (03G12) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) 2-dimensional monad theory (18N15)

Related Items (3)

From probability monads to commutative effectuses ⋮ Dilations and information flow axioms in categorical probability ⋮ Effectuses from monads

Uses Software

• QPEL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The expectation monad in quantum foundations
• Categories of quantum and classical channels
• Affine parts of monads
• Semantics of weakening and contraction
• From probability monads to commutative effectuses
• A predicate/state transformer semantics for Bayesian learning
• Monads on symmetric monoidal closed categories
• States of Convex Sets
• Structural Operational Semantics for Weighted Transition Systems
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
• Measurable Spaces and Their Effect Logic
• Bilinearity and Cartesian Closed Monads.
• An effect-theoretic account of Lebesgue integration

This page was built for publication: Affine Monads and Side-Effect-Freeness