Monadic corecursion |de nition, fusion laws, and applications (1998)

by A Pardo
Venue:Electronic Notes in Theoretical Computer Science