@Article{         Tromp,
  Author        = "Tromp, John",
  date-added    = "2013-07-01 15:43:36 +0000",
  date-modified = "2013-07-01 15:44:01 +0000",
  Title         = "Binary Lambda Calculus and Combinatory Logic",
  Year          = "2011",
  File          = "Binary Lambda Calculus and Combinatory Logic - Tromp (0) (0) - a - a - z.pdf"
}

@Article{ Tromp, Author = "Tromp, John", date-added = "2013-07-01 15:43:36 +0000", date-modified = "2013-07-01 15:44:01 +0000", Title = "Binary Lambda Calculus and Combinatory Logic", Year = "2011", File = "Binary Lambda Calculus and Combinatory Logic - Tromp (0) (0) - a - a - z.pdf" }