If you need information on co-inductive types you may want to see:

• Fall 94
  • lecture 11
  • lecture 11
• Fall 93
  • lectures 4, 5, and 6