A new representation for exact real numbers (1997)

by A Edalat, P J Potts
Venue:In Proc. Math. Foundations of Progamming Semantics