Corecursion and coinduction: how they relate to recursion and induction [pdf]cl.cam.ac.uk68 pointsMindGods6 years ago