✓

@Book{            KamareddineLaanNederpelt,
  Author        = "Kamareddine, Fairouz and Laan, Twan and Nederpelt, Rob",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:27 +0200",
  Keywords      = "type theory",
  Publisher     = "Kluwer Academic Publishers",
  Title         = "A Modern Perspective on Type Theory - From its Origins until Today",
  Year          = "1996",
  File          = "A Modern Perspective on Type Theory - From its Origins until Today - Kamareddine, Laan, Nederpelt (0) (0) - a - a.pdf",
  file-2        = "Fairouz Kamareddine, Twan Laan, Rob Nederpelt A Modern Perspective on Type Theory From its Origins until Today Applied Logic Series, 29 2004\_unlocked (0) - a - a.pdf"
}

@Book{ KamareddineLaanNederpelt, Author = "Kamareddine, Fairouz and Laan, Twan and Nederpelt, Rob", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:27 +0200", Keywords = "type theory", Publisher = "Kluwer Academic Publishers", Title = "A Modern Perspective on Type Theory - From its Origins until Today", Year = "1996", File = "A Modern Perspective on Type Theory - From its Origins until Today - Kamareddine, Laan, Nederpelt (0) (0) - a - a.pdf", file-2 = "Fairouz Kamareddine, Twan Laan, Rob Nederpelt A Modern Perspective on Type Theory From its Origins until Today Applied Logic Series, 29 2004_unlocked (0) - a - a.pdf" }