@TechReport{      Plotkinb,
  Author        = "Plotkin, Gordon",
  date-added    = "2013-02-17 23:14:46 +0000",
  date-modified = "2013-07-09 10:09:03 +0000",
  Institution   = "University of Edinburgh",
  Keywords      = "lambda calculus and lambda-definability and logical relations and readme",
  Title         = "Lambda-definability and Logical Relations",
  Year          = "1973",
  File          = "Lambda-definability and Logical Relations - Plotkin (0) (0) - a - a - l.pdf",
  file-2        = "logical\_relations\_1973 (0) - a - a - l.pdf"
}

@TechReport{ Plotkinb, Author = "Plotkin, Gordon", date-added = "2013-02-17 23:14:46 +0000", date-modified = "2013-07-09 10:09:03 +0000", Institution = "University of Edinburgh", Keywords = "lambda calculus and lambda-definability and logical relations and readme", Title = "Lambda-definability and Logical Relations", Year = "1973", File = "Lambda-definability and Logical Relations - Plotkin (0) (0) - a - a - l.pdf", file-2 = "logical_relations_1973 (0) - a - a - l.pdf" }