scientific article
DOI10.23638/LMCS-13(1:2)2017zbMATH Open1448.06002arXiv1612.01005MaRDI QIDQ2980964FDOQ2980964
Authors: Klaus Keimel, Gordon D. Plotkin 
Publication date: 8 May 2017
Full work available at URL: https://arxiv.org/abs/1612.01005
Title of this publication is not available (Why is that?)
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
probabilitydomainnondeterminismfunctional representationpredicate transformerpower domaind-conedomain-theoretic functional analysis
Continuous lattices and posets, applications (06B35) Compactness in topological linear spaces; angelic spaces, etc. (46A50) Semantics in the theory of computing (68Q55)
Cited In (33)
- Title not available (Why is that?)
- Healthiness conditions for predicate transformers
- Bounded complete domains and their logical form
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
- Semantic domains for combining probability and non-determinism
- Title not available (Why is that?)
- Retracted: Semantic domains for combining probability and non-determinism
- The mixed powerdomain
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the mixed powerdomain
- Probabilistic call by push value
- Combining algebraic effect descriptions using the tensor of complete lattices
- Smart Choices and the Selection Monad
- In memoriam: Klaus Keimel (1939--2017)
- Giry and the Machine
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- A trustful monad for axiomatic reasoning with probability and nondeterminism
- Sum and tensor of quantitative effects
- Isomorphism theorems between models of mixed choice
- Title not available (Why is that?)
- Quantum expectation transformers for cost analysis
- Title not available (Why is that?)
- Topological cones: foundations for a domain theoretical semantics combining probability and nondeterminism
- Monads for measurable queries in probabilistic databases
- Semialgebras and weak distributive laws
- Convexity and order in probabilistic call-by-name FPC
- Title not available (Why is that?)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- A monad for probabilistic point processes
- Probabilistic completion of nondeterministic models
- \(\Pi^0_2\) subsets of domain-complete spaces and countably correlated spaces
- Free complete Wasserstein algebras
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)
