@Article{         Tait1967-TAIIIO,
  Author        = "Tait, W. W.",
  date-added    = "2013-01-29 16:05:16 +0000",
  date-modified = "2013-02-13 12:31:26 +0000",
  Journal       = "Journal of Symbolic Logic",
  Keywords      = "intersection types",
  Number        = "2",
  Pages         = "198--212",
  Title         = "Intensional Interpretations of Functionals of Finite Type I",
  Volume        = "32",
  Year          = "1967",
  File          = "Intensional Interpretations of Functionals of Finite Type I - Tait (0) (0) - a - a - i.pdf"
}

@Article{ Tait1967-TAIIIO, Author = "Tait, W. W.", date-added = "2013-01-29 16:05:16 +0000", date-modified = "2013-02-13 12:31:26 +0000", Journal = "Journal of Symbolic Logic", Keywords = "intersection types", Number = "2", Pages = "198--212", Title = "Intensional Interpretations of Functionals of Finite Type I", Volume = "32", Year = "1967", File = "Intensional Interpretations of Functionals of Finite Type I - Tait (0) (0) - a - a - i.pdf" }