Recursion and Corecursion Have the Same Equational Logic
Open Access
- 31 December 1999
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 20, 413-432
- https://doi.org/10.1016/s1571-0661(04)80086-0
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- The logic of recursive equationsThe Journal of Symbolic Logic, 1998
- The equational logic of fixed pointsTheoretical Computer Science, 1997
- Iterative TheoriesPublished by Springer Nature ,1993
- The formal language of recursionThe Journal of Symbolic Logic, 1989
- Vector Iteration in Pointed Iterative TheoriesSIAM Journal on Computing, 1980