scientific article; zbMATH DE number 6712178

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

Authors Klaus Keimel, Gordon D. Plotkin

Publication date 8 May 2017

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

zbMATH Keywords

probabilitydomainnondeterminismfunctional representationpredicate transformerpower domaind-conedomain-theoretic functional analysis

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

(33)

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

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)