On the Foundations of Corecursion, to appear (0)

by Danner L Moss
Venue:in the Journal of the IGPL