Coinduction 101
A Learning Lounge course.Cliki entry: Induction and Co-induction.
Peter Wegner's Interaction, computability and Church's thesis.
Co-induction and Functional Programming.
Offline book: Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes) by Jon Barwise, Lawrence S. Moss (Contributor).
This page is linked from: Learning Lounge