A Calculus of Terms for Coalgebras of Polynomial Functors

DOI10.1016/S1571-0661(04)80907-1zbMath1260.68239OpenAlexW2124662797MaRDI QIDQ4917037

Robert Goldblatt

Publication date: 26 April 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80907-1

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Stone coalgebras ⋮ A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An application of open maps to categorical logic
• Structural induction and coinduction in a fibrational setting
• Categorical logic and type theory
• Coalgebraic logic
• Model theory
• Universal coalgebra: A theory of systems
• An approach to object semantics based on terminal co-algebras
• What is the coalgebraic analogue of Birkhoff's variety theorem?

This page was built for publication: A Calculus of Terms for Coalgebras of Polynomial Functors