@InBook{          CDV80,
  Author        = "Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Venneri, Betti",
  Editor        = "Hindley, R. and Seldin, J.",
  BookTitle     = "To H. B. Curry. Essays on Combinatory Logic, Lambda-calculus and Formalism",
  date-added    = "2013-07-04 13:26:24 +0000",
  date-modified = "2013-07-04 13:28:27 +0000",
  Keywords      = "intersection types",
  Pages         = "480--490",
  Publisher     = "Accademic Press, London",
  Title         = "{Principal Type Schemes and Lambda-calculus Semantics}",
  Year          = "1980",
  bdsk-url-1    = "http://www.ae-info.org/ae/User/B\%C3\%B6hm\_Corrado/OtherInformation",
  bdsk-url-2    = "http://www.ae-info.org/attach/User/B\%C3\%B6hm\_Corrado/OtherInformation/boehm\_corrado\_ronchi\_venneri\_dezani\_micali1.jpg"
}

@InBook{ CDV80, Author = "Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Venneri, Betti", Editor = "Hindley, R. and Seldin, J.", BookTitle = "To H. B. Curry. Essays on Combinatory Logic, Lambda-calculus and Formalism", date-added = "2013-07-04 13:26:24 +0000", date-modified = "2013-07-04 13:28:27 +0000", Keywords = "intersection types", Pages = "480--490", Publisher = "Accademic Press, London", Title = "{Principal Type Schemes and Lambda-calculus Semantics}", Year = "1980", bdsk-url-1 = "http://www.ae-info.org/ae/User/B\%C3\%B6hm_Corrado/OtherInformation", bdsk-url-2 = "http://www.ae-info.org/attach/User/B\%C3\%B6hm_Corrado/OtherInformation/boehm_corrado_ronchi_venneri_dezani_micali1.jpg" }