@Unpublished{alti:mgs04,
  author = 	 {Thorsten Altenkirch},
  title = 	 {Lambda calculus and types},
  note = 	 {Lecture notes for MGS/APPSEM Spring School 2004, March 2004,
                  available from {\tt http://www.cs.nott.ac.uk/\~{}txa/publ/mgs04.pdf}}
  month =	 {March},
  year =	 {2004},
}