scientific article
From MaRDI portal
Publication:2980964
DOI10.23638/LMCS-13(1:2)2017zbMath1448.06002arXiv1612.01005MaRDI QIDQ2980964
Klaus Keimel, Gordon D. Plotkin
Publication date: 8 May 2017
Full work available at URL: https://arxiv.org/abs/1612.01005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probabilityfunctional representationnondeterminismdomainpredicate transformerpower domaind-conedomain-theoretic functional analysis
Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Compactness in topological linear spaces; angelic spaces, etc. (46A50)
Related Items (20)
Combining algebraic effect descriptions using the tensor of complete lattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ In memoriam: Klaus Keimel (1939--2017) ⋮ Linear logic in normed cones: probabilistic coherence spaces and beyond ⋮ Smart Choices and the Selection Monad ⋮ Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks ⋮ Unnamed Item ⋮ Healthiness conditions for predicate transformers ⋮ A trustful monad for axiomatic reasoning with probability and nondeterminism ⋮ Giry and the Machine ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Bounded complete domains and their logical form
This page was built for publication:
