Comparing functional paradigms for exact real-number computation (2002)

by A Bauer, M H Escard6, A K Simpson
Venue:In Proceedings ICALP 2002