@TechReport{      Loadera,
  Author        = "Loader, Ralph",
  date-added    = "2013-02-26 17:53:33 +0000",
  date-modified = "2013-02-26 17:54:05 +0000",
  Institution   = "University of Edinburgh",
  Keywords      = "lambda calculus",
  Title         = "Notes on Simply Typed Lambda Calculus",
  Year          = "1998",
  File          = "Notes on Simply Typed Lambda Calculus - Loader (0) (0) - a - a - p.pdf"
}

@TechReport{ Loadera, Author = "Loader, Ralph", date-added = "2013-02-26 17:53:33 +0000", date-modified = "2013-02-26 17:54:05 +0000", Institution = "University of Edinburgh", Keywords = "lambda calculus", Title = "Notes on Simply Typed Lambda Calculus", Year = "1998", File = "Notes on Simply Typed Lambda Calculus - Loader (0) (0) - a - a - p.pdf" }