AbstractA model of a space X is simply a continuous dcpo D and a homeomorphism ∅: X → max D, where max D is given its inherited Scott topology. We show that a space has a coherent model iff it has a Scott domain model and investigate the topological structure of spaces which have Gδ models
Abstract We show that a measurement µ on a continuous dcpo D extends to a measurementμ on the convex...
ABSTRACT. In the present article we continue recent work in the direction of domain theory were cert...
AbstractWe introduce a model of the second-order lambda calculus. Such a model is a Scott domain who...
AbstractA model of a space X is simply a continuous dcpo D and a homeomorphism ∅: X → max D, where m...
AbstractIn this paper we try to improve the current state of understanding concerning models of spac...
AbstractIn this paper we prove that any T1 subspace of a continuous dcpo with the relative Scott top...
The maximal point space of a domain (resp. algebraic domain) with the Scott topology is Choquet comp...
In this paper we show that three major classes of topological spaces are domain-representable, i.e.,...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
In this paper we show that three major classes of topological spaces are domain-representable, i.e.,...
AbstractIdeal domains have an elementary order theoretic structure: Every element is either compact ...
AbstractWe use a subfamily of the Scott-closed sets of a poset to form a local completion of the pos...
AbstractFor every metric space X, we define a continuous poset BX such that X is homeomorphic to the...
In this paper we study domains, Scott domains, and the existence of measurements. We use a space cre...
AbstractIn this article we show that each complete metric space is the maximal point space of a cont...
Abstract We show that a measurement µ on a continuous dcpo D extends to a measurementμ on the convex...
ABSTRACT. In the present article we continue recent work in the direction of domain theory were cert...
AbstractWe introduce a model of the second-order lambda calculus. Such a model is a Scott domain who...
AbstractA model of a space X is simply a continuous dcpo D and a homeomorphism ∅: X → max D, where m...
AbstractIn this paper we try to improve the current state of understanding concerning models of spac...
AbstractIn this paper we prove that any T1 subspace of a continuous dcpo with the relative Scott top...
The maximal point space of a domain (resp. algebraic domain) with the Scott topology is Choquet comp...
In this paper we show that three major classes of topological spaces are domain-representable, i.e.,...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
In this paper we show that three major classes of topological spaces are domain-representable, i.e.,...
AbstractIdeal domains have an elementary order theoretic structure: Every element is either compact ...
AbstractWe use a subfamily of the Scott-closed sets of a poset to form a local completion of the pos...
AbstractFor every metric space X, we define a continuous poset BX such that X is homeomorphic to the...
In this paper we study domains, Scott domains, and the existence of measurements. We use a space cre...
AbstractIn this article we show that each complete metric space is the maximal point space of a cont...
Abstract We show that a measurement µ on a continuous dcpo D extends to a measurementμ on the convex...
ABSTRACT. In the present article we continue recent work in the direction of domain theory were cert...
AbstractWe introduce a model of the second-order lambda calculus. Such a model is a Scott domain who...
DOI
Add to ORKG