The continuum as a final coalgebra

DOI10.1016/S0304-3975(01)00022-6zbMath1002.68092MaRDI QIDQ1603817

R. Smith

Publication date: 15 July 2002

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

zbMATH Keywords

final coalgebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (7)

Coalgebraic Representation Theory of Fractals ⋮ A general theory of self-similarity ⋮ Coalgebra and abstraction ⋮ Chasing Diagrams in Cryptography ⋮ Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics ⋮ Final coalgebras in accessible categories ⋮ Corecursive algebras in nature

Cites Work

• Universal coalgebra: A theory of systems
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The continuum as a final coalgebra