Course Notes For Types Summer School 99
Inductive Definitions and Type Theory
A Normalisation Proof for Gödel system T
Some exercices on inductive definitions
Slides for a course on inductive definitions
Notes on typed lambda calculus (course given in Diku, 1997)
Some Exercices
Last modified: Mon Sep 6 11:08:50 MET DST 1999