The probabilistic powerdomain for stably compact spaces
From MaRDI portal
(Redirected from Publication:703479)
Recommendations
- Stably compact spaces and the probabilistic powerspace construction
- The probabilistic powerdomain for stably compact spaces via compact ordered spaces
- Extension of valuations on locally compact sober spaces
- Theory and Applications of Models of Computation
- Probabilistic powerdomains and quasi-continuous domains
Cites work
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3846844 (Why is no real title available?)
- scientific article; zbMATH DE number 3878992 (Why is no real title available?)
- scientific article; zbMATH DE number 4081629 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3780545 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 48416 (Why is no real title available?)
- scientific article; zbMATH DE number 48157 (Why is no real title available?)
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 1231645 (Why is no real title available?)
- scientific article; zbMATH DE number 1361128 (Why is no real title available?)
- scientific article; zbMATH DE number 1948164 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- scientific article; zbMATH DE number 3288812 (Why is no real title available?)
- Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
- An Extension Result for Continuous Valuations
- CPO's of measures for nondeterminism
- Continuous Lattices and Domains
- Continuous domains in logical form
- Domain theory in logical form
- Domains, integration and ‘positive analysis’
- Measure and Integration
- Measures in Boolean Algebras
- On the existence of probability measures with given marginals
- On the extension of measures
- Semantics of probabilistic programs
- Stably compact spaces and the probabilistic powerspace construction
- Theory of capacities
- Topology and measure
Cited in
(24)- The probabilistic powerdomain from a topological viewpoint
- Weak topologies and compactness in asymmetric functional analysis
- QRB, QFS, and the probabilistic powerdomain
- Projective topology on bifinite domains and applications
- Topological cones: functional analysis in a \(T_{0}\)-setting
- On the computational content of the Lawson topology
- The Cuntz semigroup and domain theory
- The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
- Probabilistic powerdomains and quasi-continuous domains
- Theory and Applications of Models of Computation
- Probability, valuations, hyperspace: three monads on Top and the support as a morphism
- Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
- Uniform structures in the beginning of the third millenium
- The probabilistic powerdomain for stably compact spaces via compact ordered spaces
- A cone-theoretic barycenter existence theorem
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- Stably compact spaces and the probabilistic powerspace construction
- Isomorphism theorems between models of mixed choice
- Completing simple valuations in K-categories
- Bitopological duality for distributive lattices and Heyting algebras
- Extension of valuations on locally compact sober spaces
- A domain-theoretic Banach–Alaoglu theorem
- Algebras of the extended probabilistic powerdomain monad
- De Groot duality and models of choice: angels, demons and nature
This page was built for publication: The probabilistic powerdomain for stably compact spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703479)