@PhdThesis{       ManzonettoTh,
  Author        = "Manzonetto, Giulio",
  date-added    = "2014-01-04 10:40:30 +0000",
  date-modified = "2014-01-04 10:40:30 +0000",
  School        = "Univ. Ca'Foscari (Venice) and Univ. Paris Diderot (Paris 7)",
  Title         = "Models and theories of lambda calculus",
  Year          = "2008",
  File          = "Models and theories of lambda calculus - Manzonetto (0) (0) - a - a - a.pdf"
}

@PhdThesis{ ManzonettoTh, Author = "Manzonetto, Giulio", date-added = "2014-01-04 10:40:30 +0000", date-modified = "2014-01-04 10:40:30 +0000", School = "Univ. Ca'Foscari (Venice) and Univ. Paris Diderot (Paris 7)", Title = "Models and theories of lambda calculus", Year = "2008", File = "Models and theories of lambda calculus - Manzonetto (0) (0) - a - a - a.pdf" }