Effectuses from monads
From MaRDI portal
Publication:1744385
DOI10.1016/J.ENTCS.2016.09.037zbMath1395.18006OpenAlexW2529107809WikidataQ113317635 ScholiaQ113317635MaRDI QIDQ1744385
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.037
Related Items (1)
Cites Work
- Partially additive categories and flow-diagram semantics
- From Coalgebraic to Monoidal Traces
- From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Introduction to distributive categories
- An Extension Result for Continuous Valuations
- Total and Partial Computation in Categorical Quantum Foundations
- Affine Monads and Side-Effect-Freeness
- Unnamed Item
- Unnamed Item
This page was built for publication: Effectuses from monads