Searching for "The continuum as a final coalgebra." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
The Continuum as a Final Coalgebra
- …://www.elsevier.nl/locate/entcs/volume19.html 19 pages The continuum as a nal coalgebra D. Pavlovic Kestrel Institute Palo Alto, USA V…
- Cited by 1 (1 self) – Add To MetaCart
-
A coinductive approach to exact real number computation
- … final coalgebra. TCS 280:105–122, 2002. D. Plume. A Calculator for Exact Real Number Computation. 4th…
- Add To MetaCart
Showing 1 through 2.
