A Calculus of Terms for Coalgebras of Polynomial Functors
Open Access
- 31 May 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 44 (1) , 161-184
- https://doi.org/10.1016/s1571-0661(04)80907-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- Towards a Duality Result in Coalgebraic Modal LogicElectronic Notes in Theoretical Computer Science, 2000
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- Coalgebraic logicAnnals of Pure and Applied Logic, 1999
- Specifying Coalgebras with Modal LogicElectronic Notes in Theoretical Computer Science, 1998
- Structural Induction and Coinduction in a Fibrational SettingInformation and Computation, 1998
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995