38 citations · 38 across the 1 of their papers we have counts for
3 papers
cs.LO2017★ 38 cited
Mixed powerdomains for probability and nondeterminism
Klaus Keimel, Gordon D. Plotkin
We consider mixed powerdomains combining ordinary nondeterminism and probabilistic nondeterminism. We characterise them as free algebras for suitable (in)equation-al theories; we e…
math.OA2016
The Cuntz semigroup and domain theory
Klaus Keimel
Domain theory has its origins in Mathematics and Theoretical Computer Science. Mathematically it combines order and topology. Its central concepts have their origin in the idea of…
cs.LO2015
Weak upper topologies and duality for cones
Klaus Keimel
In functional analysis it is well known that every linear functional defined on the dual of a locally convex vector space which is continuous for the weak topology is the evaluatio…