The Riemann integral using ordered open coverings (Q2495323)

The authors define a Riemann type integral for bounded real-valued functions on an arbitrary topological measure space. When the space is a compact metric space, the integral is equivalent to the R-integral defined by \textit{A. Edalat} using domain theory [Theor. Comput. Sci. 151, No. 1, 163--193 (1995; Zbl 0872.28006)].