Proof Methods for Corecursive Programs (1999)

by Jeremy Gibbons , Graham Hutton
Venue:Fundamenta Informaticae Special Issue on Program Transformation
Citations:21 - 7 self