Semantics of exact real arithmetic (1997)

by P Potts, A Edalat, M Escardó
Venue:in LICS