Parametric Corecursion (0)

by Lawrence S. Moss
Venue:Theoretical Computer Science