On coalgebra of real numbers

DOI10.1016/S1571-0661(05)80272-5zbMath1094.13541MaRDI QIDQ4256314

Dusko Pavlovic, Vaughan R. Pratt

Publication date: 12 July 1999

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Related Items (4)

Algebraic-coalgebraic specification in CoCASL ⋮ On final coalgebras of continuous functors ⋮ Coalgebra and abstraction ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic

Cites Work

• Universal coalgebra: A theory of systems
• An extended arithmetic
• Generalized arithmetic
• An approach to object semantics based on terminal co-algebras
• Subequalizers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On coalgebra of real numbers