@TechReport{      Churchb,
  Author        = "Church, Alonzo",
  date-added    = "2013-07-09 13:46:40 +0000",
  date-modified = "2017-07-03 20:38:48 +0000",
  Keywords      = "lambda calculus and classic",
  Title         = "The Calculi of Lambda-Conversion",
  Year          = "1941",
  File          = "[Church,\_Alonzo]\_The\_calculi\_of\_lambda-conversion(b-ok.org) (0) - a - a - c.pdf",
  file-2        = "The Calculi of Lambda-Conversion - Church (0) (0) - a - a - c.pdf"
}

@TechReport{ Churchb, Author = "Church, Alonzo", date-added = "2013-07-09 13:46:40 +0000", date-modified = "2017-07-03 20:38:48 +0000", Keywords = "lambda calculus and classic", Title = "The Calculi of Lambda-Conversion", Year = "1941", File = "[Church,_Alonzo]_The_calculi_of_lambda-conversion(b-ok.org) (0) - a - a - c.pdf", file-2 = "The Calculi of Lambda-Conversion - Church (0) (0) - a - a - c.pdf" }