@Article{         barendregt_ghilezan_2000,
  Author        = "Barendregt, Henk and Ghilezan, Silvia",
  date-added    = "2019-04-13 12:34:02 +0200",
  date-modified = "2019-04-13 12:34:16 +0200",
  Journal       = "Journal of Functional Programming",
  Number        = "1",
  Pages         = "121--134",
  Publisher     = "Cambridge University Press",
  Title         = "Lambda terms for natural deduction, sequent calculus and cut elimination",
  Volume        = "10",
  Year          = "2000",
  File          = "natural-deduction\_and\_sequent-calculus (0) - a - a - m.pdf"
}

@Article{ barendregt_ghilezan_2000, Author = "Barendregt, Henk and Ghilezan, Silvia", date-added = "2019-04-13 12:34:02 +0200", date-modified = "2019-04-13 12:34:16 +0200", Journal = "Journal of Functional Programming", Number = "1", Pages = "121--134", Publisher = "Cambridge University Press", Title = "Lambda terms for natural deduction, sequent calculus and cut elimination", Volume = "10", Year = "2000", File = "natural-deduction_and_sequent-calculus (0) - a - a - m.pdf" }