@Article{         DBLP:journals/jfp/Barendregt91,
  Author        = "Barendregt, Henk",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2014-03-29 16:52:08 +0000",
  date-modified = "2014-03-29 16:52:08 +0000",
  Journal       = "J. Funct. Program.",
  Number        = "2",
  Pages         = "125-154",
  Title         = "Introduction to Generalized Type Systems",
  Volume        = "1",
  Year          = "1991",
  File          = "Introduction to Generalized Type Systems - Barendregt (0) (0) - a - a - a.pdf"
}

@Article{ DBLP:journals/jfp/Barendregt91, Author = "Barendregt, Henk", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2014-03-29 16:52:08 +0000", date-modified = "2014-03-29 16:52:08 +0000", Journal = "J. Funct. Program.", Number = "2", Pages = "125-154", Title = "Introduction to Generalized Type Systems", Volume = "1", Year = "1991", File = "Introduction to Generalized Type Systems - Barendregt (0) (0) - a - a - a.pdf" }