Proof methods for structured corecursive programs
(1999)
Conference Proceeding
Gibbons, J., & Hutton, G. (1999). Proof methods for structured corecursive programs.
Corecursive programs produce values of greatest fixpoint types, in contrast to recursive programs, which consume values of least fixpoint types. There are a number of widely used methods for proving properties of corecursive programs, including fixp... Read More about Proof methods for structured corecursive programs.