A short proof of the Schröder–Simpson Theorem
From MaRDI portal
Publication:5740616
DOI10.1017/S0960129513000467zbMath1362.46002MaRDI QIDQ5740616
Publication date: 27 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Uniform structures and generalizations (54E15) General theory of locally convex spaces (46A03) Other ``topological linear spaces (convergence spaces, ranked spaces, spaces with a metric taking values in an ordered structure more general than (mathbb{R}), etc.) (46A19) Continuous lattices and posets, applications (06B35) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15)
Related Items (4)
Algebras of the extended probabilistic powerdomain monad ⋮ Completing simple valuations in K-categories ⋮ Isomorphism theorems between models of mixed choice ⋮ The Cuntz semigroup and domain theory
Cites Work
This page was built for publication: A short proof of the Schröder–Simpson Theorem
