Algebras of the extended probabilistic powerdomain monad
From MaRDI portal
Publication:2130602
DOI10.1016/J.ENTCS.2019.07.015OpenAlexW2971390818WikidataQ113317449 ScholiaQ113317449MaRDI QIDQ2130602
Xiaodong Jia, Jean Goubault-Larrecq
Publication date: 25 April 2022
Full work available at URL: https://arxiv.org/abs/1903.07472
Related Items (3)
Completing simple valuations in K-categories ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The probabilistic powerdomain for stably compact spaces
- Topological cones: functional analysis in a \(T_{0}\)-setting
- The bounded-complete hull of an \(\alpha\)-space
- Measure extension theorems for \(T_{0}\)-spaces
- Domain-complete and LCS-complete spaces
- The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
- Locally convex cones and the Schröder-Simpson theorem
- Completion of a Construction of Johnstone
- Domains, integration and ‘positive analysis’
- Continuous Lattices and Domains
- Non-Hausdorff Topology and Domain Theory
- Isomorphism theorems between models of mixed choice
- A short proof of the Schröder–Simpson Theorem
- Theory and Applications of Models of Computation
This page was built for publication: Algebras of the extended probabilistic powerdomain monad
