Andrej Bauer: Domain theory for real number computation

Abstract: We will review enough basic notions of domain theory to understand how domain theory models computation with exact real numbers. Traditionally one uses the interval domain to model real number computation, but we shall see that using the interval lattice (which contains "backwards" intervals as well as proper intervals) has its benefits, too.