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

by Andrej Bauer, Martín Hötzel Escardó, Alex Simpson
Venue:in Proceedings ICALP 2002, Springer LNCS 2380