Computing with real numbers: (i) LFT approach to real computation, (ii) Domain-theoretic model of computational geometry (0)

by Abbas Edalat, Reinhold Heckmann
Venue:Electronic Notes in Theoretical Computer Science vol 24 (2000) Elsevier 21