Isomorphism theorems between models of mixed choice
From MaRDI portal
Recommendations
Cites work
- A short proof of the Schröder-Simpson theorem
- Continuous Lattices and Domains
- Continuous Previsions
- Coproducts of Ideal Monads
- De Groot duality and models of choice: angels, demons and nature
- Demonic, angelic and unbounded probabilistic choices in sequential programs
- Domain theory and integration
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- scientific article; zbMATH DE number 3112450 (Why is no real title available?)
- scientific article; zbMATH DE number 1107499 (Why is no real title available?)
- scientific article; zbMATH DE number 1469900 (Why is no real title available?)
- scientific article; zbMATH DE number 1759622 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 851999 (Why is no real title available?)
- scientific article; zbMATH DE number 3213310 (Why is no real title available?)
- Locally convex cones and the Schröder-Simpson theorem
- Predicate transformers for extended probability and non-determinism
- Prevision Domains and Convex Powercones
- QRB-domains and the probabilistic powerdomain
- Semantic domains for combining probability and non-determinism
- Stably compact spaces and the probabilistic powerspace construction
- The probabilistic powerdomain for stably compact spaces
- Topological cones: functional analysis in a \(T_{0}\)-setting
- Topology, domain theory and theoretical computer science
Cited in
(15)- Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions
- Domain-complete and LCS-complete spaces
- Algebras of the extended probabilistic powerdomain monad
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus
- Probabilistic completion of nondeterministic models
- Prevision Domains and Convex Powercones
- Causal Unfoldings
- Disentangling parallelism and interference in game semantics
- Errata to: ``Isomorphism theorems between models of mixed choice, fixes and consequences
- On local compactness of spaces of continuous valuations
- Generalized Kantorovich-Rubinstein duality beyond Hausdorff and Kantorovich
- On the preservation of projective limits by functors of probabilistic and of non-deterministic choice
This page was built for publication: Isomorphism theorems between models of mixed choice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5360215)
