Semantics of exact real arithmetic (1997)

by P J Potts, A Edalat, M H Escardo
Venue:In Proceedings of the Twelfth Anual IEEE Symposium on Logic in Computer Science