Monadic Corecursion — Definition, Fusion Laws, and Applications (1998)

by A Pardo
Venue:Electr. Notes Theor. Comput. Sci