From coinductive proofs to exact real arithmetic

by Ulrich Berger
Citations:8 - 6 self