Proof Methods for Corecursive Programs (1999)

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

Document Versions

Proof Methods for Corecursive Programs –Jeremy Gibbons, Graham Hutton — 1999 — Fundamenta Informaticae Special Issue on Program Transformation
Proof Methods for Corecursive Programs –Jeremy Gibbons, Graham Hutton — 2005