Calculus in coinductive form
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 408-417
- https://doi.org/10.1109/lics.1998.705675
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Guarded induction on final coalgebrasElectronic Notes in Theoretical Computer Science, 1998
- Initial algebra and final coalgebra semantics for concurrencyPublished by Springer Nature ,1994
- Co-induction in relational semanticsTheoretical Computer Science, 1991
- Partial Differential EquationsPublished by Springer Nature ,1982