A *(Learning Lounge) course.

Peter Wegner's <a href="http://www.cs.brown.edu/people/pw/papers/bcj1.pdf">Interaction, computability and Church's thesis</a>.

<a href="http://citeseer.nj.nec.com/gordon94tutorial.html">Co-induction and Functional Programming</a>.

Offline book: <u>Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes)</u> by Jon Barwise, Lawrence S. Moss (Contributor).
