Effectuses from monads
From MaRDI portal
Publication:1744385
Recommendations
Cites work
- Affine Monads and Side-Effect-Freeness
- An Extension Result for Continuous Valuations
- From coalgebraic to monoidal traces
- From Kleisli categories to commutative C^*-algebras: probabilistic Gelfand duality
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3967883 (Why is no real title available?)
- Introduction to distributive categories
- New directions in categorical logic, for classical, probabilistic and quantum logic
- Partially additive categories and flow-diagram semantics
- Total and partial computation in categorical quantum foundations
Cited in
(10)- From probability monads to commutative effectuses
- From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
- From Kleisli categories to commutative C^*-algebras: probabilistic Gelfand duality
- States of convex sets
- scientific article; zbMATH DE number 4059655 (Why is no real title available?)
- The expectation monad in quantum foundations
- Total and partial computation in categorical quantum foundations
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- The marriage of effects and monads
- Affine Monads and Side-Effect-Freeness
This page was built for publication: Effectuses from monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744385)
