Distributive laws for the coinductive solution of recursive equations

Cached

Download Links

by Bart Jacobs
Venue:Information and Computation
Citations:12 - 1 self

Document Versions

Distributive laws for the coinductive solution of recursive equations –Bart Jacobs — Information and Computation