PostScript version of this text is available.

classnote 14

Wee-Liang Heng

September 28, 1994

• Plan
• Surface Syntax
• Properties of LT
  • Induction Principle
  • Equality Definition
• de Bruijn indices
• Binding
• About this document ...