Proof Methods for Corecursive Programs

Jeremy Gibbons, Graham Hutton. Proof Methods for Corecursive Programs. Fundamenta Informaticae, 66(4):353-366, 2005. [doi]

Abstract

Abstract is missing.