@Unpublished{     Ker,
  Author        = "Ker, Andrew D.",
  date-added    = "2013-06-24 09:03:15 +0000",
  date-modified = "2013-06-24 09:03:43 +0000",
  Keywords      = "lambda calculus and lecture notes",
  Title         = "Lambda Calculus and Types",
  Year          = "2009",
  File          = "Lambda Calculus and Types - Ker (0) (0) - a - a - g.pdf"
}

@Unpublished{ Ker, Author = "Ker, Andrew D.", date-added = "2013-06-24 09:03:15 +0000", date-modified = "2013-06-24 09:03:43 +0000", Keywords = "lambda calculus and lecture notes", Title = "Lambda Calculus and Types", Year = "2009", File = "Lambda Calculus and Types - Ker (0) (0) - a - a - g.pdf" }