Proof Methods for Corecursive Programs (1999)

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