Results 1 
2 of
2
An Extension Result for Continuous Valuations
, 1998
"... We show, by a simple and direct proof, that if a bounded valuation on a directed complete partial order (dcpo) is the supremum of a directed family of simple valuations then it has a unique extension to a measure on the Borel oealgebra of the dcpo with the Scott topology. It follows that every boun ..."
Abstract

Cited by 32 (4 self)
 Add to MetaCart
We show, by a simple and direct proof, that if a bounded valuation on a directed complete partial order (dcpo) is the supremum of a directed family of simple valuations then it has a unique extension to a measure on the Borel oealgebra of the dcpo with the Scott topology. It follows that every bounded and continuous valuation on a continuous domain can be extended uniquely to a Borel measure. The result also holds for oefinite valuations, but fails for dcpo's in general. 1
Topology, Domain Theory and Theoretical Computer Science
, 1997
"... In this paper, we survey the use of ordertheoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of ordertheoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
In this paper, we survey the use of ordertheoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of ordertheoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from concerns that semantics generates. Keywords: Domain theory, Scott topology, power domains, untyped lambda calculus Subject Classification: 06B35,06F30,18B30,68N15,68Q55 1 Introduction Topology has proved to be an essential tool for certain aspects of theoretical computer science. Conversely, the problems that arise in the computational setting have provided new and interesting stimuli for topology. These problems also have increased the interaction between topology and related areas of mathematics such as order theory and topological algebra. In this paper, we outline some of these interactions between topology and theoretical computer science, focusing on those aspects that have been mo...