Distributive laws for the coinductive solution of recursive equations

Cached

Download Links

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