Semantics of exact real arithmetic (1997)

by P J Potts, A Edalat, M H Escardó
Venue:In Proceedings of the Twelveth Annual IEEE Symposium on Logic In Computer Science