Sciweavers

IANDC
2006
63views more  IANDC 2006»
13 years 11 months ago
Distributive laws for the coinductive solution of recursive equations
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...
Bart Jacobs