Semantics of Exact Real Arithmetic (1997)

by Peter John Potts, Abbas Edalat, Martín Hötzel Escardó