Semantics of Exact Real Arithmetic.

Peter John Potts, Abbas Edalat, Martn Htzel Escard

Browse the full LICS paper archive.