| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 426958 | Information and Computation | 2006 | 27 Pages |
Abstract
This paper illustrates the relevance of distributive laws for the solution of recursive equations, and shows that one approach for obtaining coinductive solutions of equations via infinite terms is in fact a special case of a more general approach using an extended form of coinduction via distributive laws.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
