Recursive function de over coinductive types (1999)

by J Matthews
Venue:Proc. Intl. Conf. on Theorem Proving in Higher Order Logics (TPHOLS), Lecture Notes in Computer Science