Proof Methods for Corecursive Programs
Jeremy Gibbons, Graham Hutton · 2005
Copyright and reuse: The Nottingham ePrints service makes this work by researchers of the University of Nottingham available open access under the following conditions. · Copyright and all moral rights to the version of the paper presented here belong to the individual author(s) and/or other copyright owners. · To the extent reasonable and practicable the material made available in Nottingham ePrints has been checked for eligibility before being made available. · Copies of full items can be used for personal research or study, educational, or not-for-profit purposes without prior permission or charge provided that the authors, title and full bibliographic details are credited, a hyperlink and/or URL is given for the original metadata page and the content is not changed in any way. · Quotations or similar reproductions must be sufficiently acknowledged. Please see our full end user licence at: