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

Cached

Download Links

by Alberto Ciaffaglione
Venue:Theoretical Computer Science
Citations:12 - 0 self