Distributive laws for the coinductive solution of recursive equations
- 1 April 2006
- journal article
- Published by Elsevier in Information and Computation
- Vol. 204 (4) , 561-587
- https://doi.org/10.1016/j.ic.2005.03.006
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and LanguagesPublished by Springer Nature ,2006
- Behavioural differential equations: a coinductive calculus of streams, automata, and power seriesTheoretical Computer Science, 2003
- Infinite trees and completely iterative theories: a coalgebraic viewTheoretical Computer Science, 2003
- Towards a mathematical operational semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Parametric corecursionTheoretical Computer Science, 2001
- Introduction to distributive categoriesMathematical Structures in Computer Science, 1993
- On the algebraic structure of rooted treesJournal of Computer and System Sciences, 1978
- Adjoint Lifting Theorems for Categories of AlgebrasBulletin of the London Mathematical Society, 1975