Lazy Functional Algorithms for Exact Real Functionals (1998)

by A Simpson
Venue:in Mathematical Foundations of Computer Science, Springer LNCS 1450