@InBook{          AAVVbg,
  Author        = "Pottinger, Garrel",
  Editor        = "Hindley, J. Roger and Seldin, J. P.",
  date-added    = "2013-07-04 13:02:10 +0000",
  date-modified = "2013-07-04 13:05:57 +0000",
  Keywords      = "intersection types",
  Pages         = "561--577",
  Publisher     = "Academic Press, Inc.",
  Title         = "A type assignment for the strongly normalizable {${\l}ambda$}-terms",
  Year          = "1980",
  File          = "A type assignment for the strongly normalizable {$\lambda$}-terms (pp 561--577) - Pottinger (0) (0) - a - a - f.pdf",
  file-2        = "A type assignment for the strongly normalizable {$\lambda$}-terms (pp 561--577) - Pottinger (1) (0) - a - a - f.pdf"
}

@InBook{ AAVVbg, Author = "Pottinger, Garrel", Editor = "Hindley, J. Roger and Seldin, J. P.", date-added = "2013-07-04 13:02:10 +0000", date-modified = "2013-07-04 13:05:57 +0000", Keywords = "intersection types", Pages = "561--577", Publisher = "Academic Press, Inc.", Title = "A type assignment for the strongly normalizable {${\l}ambda$}-terms", Year = "1980", File = "A type assignment for the strongly normalizable {$\lambda$}-terms (pp 561--577) - Pottinger (0) (0) - a - a - f.pdf", file-2 = "A type assignment for the strongly normalizable {$\lambda$}-terms (pp 561--577) - Pottinger (1) (0) - a - a - f.pdf" }