From coinductive proofs to exact real arithmetic

by Ulrich Berger
Citations:7 - 5 self