A new representation for exact real numbers (1997)

by A Edalat, P J Potts
Venue:In Proceedings of Mathematical Foundations of Programming Semantics