## User login## Navigation |
## Distributive laws for the Coinductive Solution of Recursive Equations
B. Jacobs, Distributive laws for the Coinductive Solution of Recursive Equations, Information and Computation, to appear.
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... Interesting stuff. Be warned: This paper is highly technical, and requires familiarity with the fundamental notions of category theory. |
## Browse archives
## Active forum topics |

## Recent comments

13 weeks 6 days ago

13 weeks 6 days ago

13 weeks 6 days ago

36 weeks 20 hours ago

40 weeks 2 days ago

41 weeks 6 days ago

41 weeks 6 days ago

44 weeks 4 days ago

49 weeks 2 days ago

49 weeks 2 days ago