From Coinductive Proofs to Exact Real Arithmetic.

Ulrich Berger

Browse the full CSL paper archive.