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
Last modified: Mon Sep 6 11:08:50 MET DST 1999