[PDF] Corecursion and coinduction: how they relate to recursion and induction

I have just realised there is also a web link: https://www.cl.cam.ac.uk/archive/mjcg/plans/Coinduction.html

Note it is quite slow due to MathJax.

EDIT: MathJax is not loading due to it using http rather than https, sadly the author has passed away so this may go unfixed.

Thanks, I linked to this from my last blogpost that sided this subject.