@Misc{            Longleya,
  Author        = "Longley, John R.",
  date-added    = "2014-01-06 19:40:18 +0000",
  date-modified = "2014-01-06 19:44:57 +0000",
  Keywords      = "higher-order computation",
  Title         = "NOTIONS OF COMPUTABILITY AT HIGHER TYPES I",
  File          = "NOTIONS OF COMPUTABILITY AT HIGHER TYPES I - Longley (0) (0) - a - a - l.pdf"
}

@Misc{ Longleya, Author = "Longley, John R.", date-added = "2014-01-06 19:40:18 +0000", date-modified = "2014-01-06 19:44:57 +0000", Keywords = "higher-order computation", Title = "NOTIONS OF COMPUTABILITY AT HIGHER TYPES I", File = "NOTIONS OF COMPUTABILITY AT HIGHER TYPES I - Longley (0) (0) - a - a - l.pdf" }