Introduction to Type Theory

This web page contains material related to the course Introduction to Type Theory at Tallinn, September 2003

• Slides for part 1, for printing
• 1st practical
  • Slides, for printing
  • The Tutch homepage
  • prop.req
  • pred.req
  • Examples from the practical on Wednesday, examples.tut
• Slides for part 2, for printing
• 2nd practical
  • Slides, for printing
  • The LEGO homepage
  • Conor's brown paper bag LEGO
  • My basic definitions (basic.l)
• 3rd practical
  • Lego template
• Slides for part 3, for printing