From coinductive proofs to exact real arithmetic

by Ulrich Berger
Citations:9 - 5 self