@Article{         BarendregtCoppoDezani-Ciancaglini,
  Author        = "Barendregt, Henk and Coppo, Mario and Dezani-Ciancaglini, Mariangiola",
  date-added    = "2013-06-13 12:00:11 +0000",
  date-modified = "2013-07-09 10:01:19 +0000",
  Journal       = "The Journal of Symbolic Logic",
  Keywords      = "simply-typed lambda calculus and lambda calculus models and readme",
  Month         = "December",
  Number        = "4",
  Pages         = "931-940",
  Title         = "A Filter Lambda Model and the Completeness of Type Assignment",
  Volume        = "48",
  Year          = "1983",
  bdsk-url-1    = "http://www.jstor.org/stable/2273659",
  File          = "A Filter Lambda Model and the Completeness of Type Assignment - Barendregt, Coppo, Dezani-Ciancaglini (0) (0) - a - a - f.pdf"
}

@Article{ BarendregtCoppoDezani-Ciancaglini, Author = "Barendregt, Henk and Coppo, Mario and Dezani-Ciancaglini, Mariangiola", date-added = "2013-06-13 12:00:11 +0000", date-modified = "2013-07-09 10:01:19 +0000", Journal = "The Journal of Symbolic Logic", Keywords = "simply-typed lambda calculus and lambda calculus models and readme", Month = "December", Number = "4", Pages = "931-940", Title = "A Filter Lambda Model and the Completeness of Type Assignment", Volume = "48", Year = "1983", bdsk-url-1 = "http://www.jstor.org/stable/2273659", File = "A Filter Lambda Model and the Completeness of Type Assignment - Barendregt, Coppo, Dezani-Ciancaglini (0) (0) - a - a - f.pdf" }