TY  - RPRT
TI  - From coinductive proofs to exact real arithmetic: theory and applications
AU  - Ulrich Berger
PY  - 2012
DO  - 10.2168/lmcs-7(1:8)2011
UR  - https://arxiv.org/abs/1101.2162
ID  - 1101.2162
ER  -