Proof Methods for Corecursive Programs (1999)
Cached
Download Links
- [www.cs.nott.ac.uk]
- [web.comlab.ox.ac.uk]
- [www.comlab.ox.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Jeremy Gibbons
,
Graham Hutton
| Venue: | Fundamenta Informaticae Special Issue on Program Transformation |
| Citations: | 17 - 5 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 |
