@InCollection{    Plotkinc,
  Author        = "Plotkin, Gordon",
  Editor        = "Hindley, J. Roger and Seldin, J. P.",
  BookTitle     = "To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism",
  date-added    = "2013-02-17 23:17:14 +0000",
  date-modified = "2013-02-17 23:20:59 +0000",
  Keywords      = "lambda calculus and lambda-definability",
  Pages         = "365--373",
  Publisher     = "Academic Press, Inc.",
  Title         = "Lambda-Definability in the Full Type Hierarchy",
  Year          = "1980",
  File          = "Lambda-Definability in the Full Type Hierarchy - Plotkin (0) (0) - a - a - w.pdf"
}

@InCollection{ Plotkinc, Author = "Plotkin, Gordon", Editor = "Hindley, J. Roger and Seldin, J. P.", BookTitle = "To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism", date-added = "2013-02-17 23:17:14 +0000", date-modified = "2013-02-17 23:20:59 +0000", Keywords = "lambda calculus and lambda-definability", Pages = "365--373", Publisher = "Academic Press, Inc.", Title = "Lambda-Definability in the Full Type Hierarchy", Year = "1980", File = "Lambda-Definability in the Full Type Hierarchy - Plotkin (0) (0) - a - a - w.pdf" }