Proof Methods for Corecursive Programs (2005)

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