On coalgebra of real numbers

Electronic Notes in Theoretical Computer Science

Volumn 19, Issue , 1999, Pages 103-117

  Pavlovic D ^a   Pratt, V ^b  

^a KESTREL INSTITUTE   (United States)

^b Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; APPROXIMATION THEORY; MATHEMATICAL TECHNIQUES; RUNGE KUTTA METHODS; THEOREM PROVING;

BAIRE SPACE; COALGEBRA; HOMEOMORHPISM; ISOMORPHISM;

CONCURRENCY CONTROL;

EID: 0002181286     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80272-5     Document Type: Conference Paper

References (20)

1. Aczel P. Non-Well-Founded Sets. Lecture Notes 14 (CSLI. 1988
2. Barwise J., Moss L.S. Vicious Circles. (CSLI. 1997
3. Birkhoff G. An Extended Arithmetic. Duke Mathematical Journal. 3:1937;311-316
4. Birkhoff G. Generalized Arithmetic. Duke Mathematical Journal. 9:1942;283-302
5. Edalat A., Potts P.J. A new representation for exact real numbers. Electr. Notes in Theor. Comput. Sci. 6:1997
6. Gosper R.W. HAKMEM items 101A and 101B, Research report 239. 1972;Artificial Intelligence Laboratory, MIT
7. Hausdorff F. Grundzüge der Mengenlehre. 3rd edition (Leipzig. 1937
8. B. Jacobs, Coalgebraic specifications and models of deterministic hybrid systems. In: M. Wirsing and M. Nivat (eds.), Proceedings of AMAST '96 Lecture Notes in Computer Science 1101 (Springer 1996) 520-535
9. Jones W.B., Thron W.J. Continued Fractions. Analytic Theory and Applications. Encyclopedia of Mathematics and its Applications, Vol. 11 (Addison-Wesley. 1980
10. P. Kornerup and D.W. Matula, finite precision lexicographic continued fraction number systems. Proceedings of the Seventh Symposium on Computer Arithmetic (IEEE 1985) 207-214
11. Lambek J. Subequalizers. Canadian Math. Bull. 13:1970;337-349
12. N.P. Mendler, P. Panangaden and R.L. Constable, Infinite Objects in Type Theory. Proceedings of the First LICS, (IEEE 1986) 249-255
13. Park D.M.R. Concurrency and Automata on Infinite Sequences. Lecture Notes in Computer Science 104 (Springer. 1984
14. Pavlović D. Guarded induction on final coalgebras. Electr. Notes in Theor. Comput. Sci. 11:1998;1-18
15. D. Pavlović, Towards semantics of guarded induction. Submitted
16. D. Pavlović and M.H. Escardó, Calculus in coinductive form. Proceedings of LICS '98 (IEEE 1998) 408-417
17. Reichel H. An approach to object semantics based on terminal co-algebras. Math. Structures Comput. Sci. 5:1995;129-152
18. J.J.M.M. Rutten, Universal coalgebra: a theory of systems. To appear in Theoret. Comput. Sci.
19. Schecter E. Handbook of Analysis and Its Foundations. 1997;Academic Press
20. Vuillemin J. Exact real computer arithmetic with continued fractions. IEEE Trans. Comp. 39:1990;1087-1105