Coinductive field of exact real numbers and general corecursion (2006)

by M Niqui
Venue:In Proc. of CMCS’06, volume 164 of ENTCS