Course on Type Theory

• Some Links to Interactive Proof Systems Links

• Basic Exercices on Lambda Calculus

• Exercices on Inductive Definitions

• Slides for a course on inductive definitions

• Notes on typed lambda calculus (course given in Diku, 1997)

• A Normalisation Proof for Gödel system T