@InBook{          Barendregta,
  Author        = "Barendregt, Henk",
  date-added    = "2013-07-01 15:30:53 +0000",
  date-modified = "2013-07-01 15:31:22 +0000",
  Keywords      = "simply-typed lambda calculus",
  Title         = "Lambda Calculi with Types",
  Year          = "1992",
  File          = "Lambda Calculi with Types - Barendregt (0) (0) - a - a - q.pdf"
}

@InBook{ Barendregta, Author = "Barendregt, Henk", date-added = "2013-07-01 15:30:53 +0000", date-modified = "2013-07-01 15:31:22 +0000", Keywords = "simply-typed lambda calculus", Title = "Lambda Calculi with Types", Year = "1992", File = "Lambda Calculi with Types - Barendregt (0) (0) - a - a - q.pdf" }