PostScript version of this text is available.

Class notes 26

Rebecca Isaacs

November 2 1994

• Motivation for the Subject Reduction Theorem
  • Typing Rules
  • Example Typing Derivation
• The Subject Reduction Theorem
• About this document ...