@Article{         CoppoDezani-Ciancaglini,
  Author        = "Coppo, Mario and Dezani-Ciancaglini, Mariangiola",
  date-added    = "2013-07-04 13:23:25 +0000",
  date-modified = "2013-07-04 13:24:11 +0000",
  Journal       = "Notre Dame Journal of Formal Logic",
  Keywords      = "intersection types",
  Number        = "4",
  Pages         = "685--693",
  Title         = "An extension of the basic functionality theory for the {$\lambda$}-calculus",
  Volume        = "21",
  Year          = "1980",
  File          = "An extension of the basic functionality theory for the {$\lambda$}-calculus - Coppo, Dezani-Ciancaglini (0) (0) - a - a - p.pdf"
}

@Article{ CoppoDezani-Ciancaglini, Author = "Coppo, Mario and Dezani-Ciancaglini, Mariangiola", date-added = "2013-07-04 13:23:25 +0000", date-modified = "2013-07-04 13:24:11 +0000", Journal = "Notre Dame Journal of Formal Logic", Keywords = "intersection types", Number = "4", Pages = "685--693", Title = "An extension of the basic functionality theory for the {$\lambda$}-calculus", Volume = "21", Year = "1980", File = "An extension of the basic functionality theory for the {$\lambda$}-calculus - Coppo, Dezani-Ciancaglini (0) (0) - a - a - p.pdf" }