Searching for "A certified, corecursive implementation of exact real numbers." – sorted by Relevance.
-
A certified, corecursive implementation of exact real numbers
- , corecursive implementation of exact real numbers Alberto Ciaffaglione ∗ , Pietro Di Gianantonio Dipartimento
- Cited by 2 (0 self) – Add To MetaCart
-
A coinductive approach to exact real number computation
- , corecursive implementation of exact real numbers. TCS 351:39–51, 2006. T. Coquand, A. Spiwack. Proof of strong
- Add To MetaCart
-
◮ Digit spaces
- certified, corecursive implementation of exact real numbers. Theoretical Computer Science, Volume 351 (2006
- Add To MetaCart

