@TechReport{      deep,
  Author        = "Guerrieri, Giulio and Heijltjes, Willem and Paulus, Joseph",
  date-added    = "2020-12-13 20:37:43 +0100",
  date-modified = "2020-12-13 20:38:00 +0100",
  Title         = "A deep quantitative type system",
  File          = "A deep quantitative type system - diit - a - g.pdf"
}

@TechReport{ deep, Author = "Guerrieri, Giulio and Heijltjes, Willem and Paulus, Joseph", date-added = "2020-12-13 20:37:43 +0100", date-modified = "2020-12-13 20:38:00 +0100", Title = "A deep quantitative type system", File = "A deep quantitative type system - diit - a - g.pdf" }