Generalised Coinduction
Open Access
- 31 May 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 44 (1) , 67-87
- https://doi.org/10.1016/s1571-0661(04)80903-4
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- Towards a mathematical operational semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- Distributivity for a monad and a comonadElectronic Notes in Theoretical Computer Science, 1999
- From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problemsElectronic Notes in Theoretical Computer Science, 1999
- On the bisimulation proof methodMathematical Structures in Computer Science, 1998
- Bisimulation can't be tracedJournal of the ACM, 1995
- On the productivity of recursive list definitionsACM Transactions on Programming Languages and Systems, 1989