A Calculus of Terms for Coalgebras of Polynomial Functors
From MaRDI portal
Publication:4917037
DOI10.1016/S1571-0661(04)80907-1zbMath1260.68239MaRDI QIDQ4917037
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
Related Items
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?