Effectivity and Density in Domains
Ulrich Berger · Electronic Notes in Theoretical Computer Science · 1999
This article surveys the main results on effectivity and totality in domain theory and its applications. A more abstract and informative proof of Normann's generalized density theorem for total functionals of finite type over the reals is presented.