Gianantonio, “A certified, corecursive implementation of exact real numbers (2006)

by A Ciaffaglione, P Di
Venue:Theoretical Computer Science