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

by Alberto Pardo
Venue:Electronic Notes in Theoretical Computer Science