scientific article; zbMATH DE number 6712178

DOI10.23638/LMCS-13(1:2)2017MaRDI QIDQ2980964zbMATH OpenFDO

Authors Klaus Keimel, Gordon D. Plotkin

Publication date 8 May 2017

Full work available at URL https://arxiv.org/abs/1612.01005

zbMATH Keywords

d-conedomaindomain-theoretic functional analysisfunctional representationnondeterminismpower domainpredicate transformerprobability

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Compactness in topological linear spaces; angelic spaces, etc. (46A50) Semantics in the theory of computing (68Q55)

Recommendations

• A note on probabilistic powerdomains
• scientific article; zbMATH DE number 3902043
• Probabilistic powerdomains and quasi-continuous domains
• The probabilistic powerdomain from a topological viewpoint
• scientific article; zbMATH DE number 566409
• scientific article; zbMATH DE number 1231572
• QRB-domains and the probabilistic powerdomain
• scientific article; zbMATH DE number 1231645
• Semantic domains for combining probability and non-determinism

Cited in

(37)

• The mixed powerdomain
• In memoriam: Klaus Keimel (1939--2017)
• Giry and the Machine
• Bounded complete domains and their logical form
• Combining algebraic effect descriptions using the tensor of complete lattices
• Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
• Topological cones: foundations for a domain theoretical semantics combining probability and nondeterminism
• \(\Pi^0_2\) subsets of domain-complete spaces and countably correlated spaces
• On the mixed powerdomain
• scientific article; zbMATH DE number 3902043 (Why is no real title available?)
• Retracted: Semantic domains for combining probability and non-determinism
• Semantic domains for combining probability and non-determinism
• scientific article; zbMATH DE number 1531379 (Why is no real title available?)
• scientific article; zbMATH DE number 6987095 (Why is no real title available?)
• Probabilistic call by push value
• Free complete Wasserstein algebras
• A monad for probabilistic point processes
• Linear logic in normed cones: probabilistic coherence spaces and beyond
• Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
• Differentials and distances in probabilistic coherence spaces
• The theory of traces for systems with nondeterminism, probability, and termination
• Differentials and distances in probabilistic coherence spaces
• Distances between states and between predicates
• Convexity and order in probabilistic call-by-name FPC
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Probabilistic completion of nondeterministic models
• Isomorphism theorems between models of mixed choice
• Healthiness conditions for predicate transformers
• Smart Choices and the Selection Monad
• Sum and tensor of quantitative effects
• Quantum expectation transformers for cost analysis
• Monads for measurable queries in probabilistic databases
• Semialgebras and weak distributive laws
• A general completeness theorem for skip-free star algebras
• Errata to: ``Isomorphism theorems between models of mixed choice, fixes and consequences
• Multisets and distributions
• Classical linear logic in perfect Banach lattices

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980964)