Proof Methods for Corecursive Programs (2005)

by Jeremy Gibbons , Graham Hutton
Citations:21 - 7 self