Andrej Bauer: Domain Theory for Real number computation 2

Abstract: We will discuss how to use the interval lattice for real-number computation. A novely with respect to the traditional view is that we use both under- and over- approximations of elements. This makes it possible to make both positive and negative observations about reals.