Comparing Functional Paradigms for Exact Real-number Computation (0)

by Alex Simpson, Andrej Bauer, Martin Escardo
Venue:in: Proceedings ICALP 2002, Springer Lecture