PostScript version of this text is available.

Class notes 25

Arun Verma

October 31, 1993

• Why typed languages?
• Typed Lambda Calculus
  • Types of lambda terms
  • Proof Rules for Typing -Terms
• 3 Examples
• About this document ...