If you need information on lambda terms you may want to see:

• Fall 94
  • lecture 5
  • lecture 14
• Fall 93
  • lecture 7
  • lecture 8
  • lecture 9