On the Foundations of Corecursion (1997)

by Lawrence S. Moss , NORMAN DANNER
Venue:Logic Journal of the IGPL
Citations:13 - 1 self