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