Abstract Valuations: A Novel Representation of Plotkin Power Domain and Vietoris Hyperspace

Reinhold Heckmann

Type: Article

Publication Date: 1997-01-01

Citations: 15

DOI: https://doi.org/10.1016/s1571-0661(05)80163-x

View Publication

Locations

Electronic Notes in Theoretical Computer Science - View

Similar Works

Action	Title	Year	Authors
+	Probability, valuations, hyperspaces: Three monads on Top and the support as a morphism	2019	T. A. Fritz Paolo Perrone Sharwin Rezagholi
+ PDF Chat	Probability, valuations, hyperspace: Three monads on top and the support as a morphism	2021	T. A. Fritz Paolo Perrone Sharwin Rezagholi
+ PDF Chat	Kantorovich-Rubinstein quasi-metrics II: Hyperspaces and powerdomains	2021	Jean Goubault-Larrecq
+	On Kripke, Vietoris and Hausdorff Polynomial Functors	2023	Jiřı́ Adámek Stefan Milius Lawrence S. Moss
+ PDF Chat	On the Preservation of Projective Limits by Functors of Non-Deterministic, Probabilistic, and Mixed Choice	2024	Jean Goubault-Larrecq
+	Algebras of the extended probabilistic powerdomain monad	2019	Jean Goubault-Larrecq Xiaodong Jia
+	A note on the extension of discrete valuations to affine domains	1997	Huishi Li
+	The probabilistic powerdomain from a topological viewpoint	2018	Zhenchao Lyu Hui Kou
+	Vector spaces with valuations	1975	L. Fuchs
+	Discrete valuations centered on local domains	2001	Reinhold Hübl Irena Swanson
+ PDF Chat	Continuous R-valuations	2023	Jean Goubault-Larrecq Xiaodong Jia
+	Fractals and domain theory	2004	Keye Martin
+	Continuous R-valuations	2022	Jean Goubault-Larrecq Xiaodong Jia
+	Discrete Valuations and Dedekind Domains	1973	John Milnor Dale Husemöller
+	Probabilistic Powerdomains and Quasi-Continuous Domains	2020	Jean Goubault-Larrecq
+ PDF Chat	On Quasi-Valuation Domains	2000	Akira Okabe
+	Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces	2017	Dirk Hofmann Renato Neves Pedro Nora
+	Domains and Probability Measures: A Topological Retrospective	2017	Michael Mislove
+	p-valuations	1984	Alexander Prestel Peter Roquette
+	Discrete Valuation Rings	2016	Peter Webb

Works That Cite This (12)

Action	Title	Year	Authors
+	Presenting de Groot duality of stably compact spaces	2020	Tatsuji Kawai
+	On Weakly Hausdorff Spaces and Locally Strongly Sober Spaces	2022	Jean Goubault-Larrecq
+	Quantitative semantics, topology, and possibility measures	1998	Reinhold Heckmann Michael Huth
+	Stably compact spaces	2010	Jimmie Lawson
+ PDF Chat	Choquet–Kendall–Matheron theorems for non-Hausdorff spaces	2011	Jean Goubault-Larrecq Klaus Keimel
+	De Groot duality and models of choice: angels, demons and nature	2010	Jean Goubault-Larrecq
+	Presenting de Groot duality of stably compact spaces	2018	Tatsuji Kawai
+	Complete Quasi-Metrics for Hyperspaces, Continuous Valuations, and Previsions	2017	Jean Goubault-Larrecq
+	Choquet-Kendall-Matheron Theorems for Non-Hausdor Spaces	2010	Fachbereich Mathematik
+	On the equivalence of state transformer semantics and predicate transformer semantics	2014	Klaus Keimel

Works Cited by This (1)

Action	Title	Year	Authors
+	Spaces of Valuations	1996	Reinhold Heckmann