@Misc{            lipa2018,
  date-added    = "2018-08-10 10:31:26 +0000",
  date-modified = "2018-08-10 10:31:54 +0000",
  Title         = "Summer School LIPA 2018 - Slides",
  Year          = "2018",
  File          = "lipa18-ranked-lambda.key (0) - a - a - e.pdf",
  file-2        = "pdf-lipa18-gfp-model (0) - a - a - e.pdf",
  file-3        = "pdf-lipa18-pushdowns-mc-1 (0) - a - a - e.pdf",
  file-4        = "pdf-lipa18-lambda (0) - a - a - e.pdf",
  file-5        = "pdf-lipa18-finite-mc (0) - a - a - e.pdf",
  file-6        = "pdf-lipa18-intro (0) - a - a - e.pdf",
  file-7        = "warsaw (0) - a - a - e.pdf"
}

@Misc{ lipa2018, date-added = "2018-08-10 10:31:26 +0000", date-modified = "2018-08-10 10:31:54 +0000", Title = "Summer School LIPA 2018 - Slides", Year = "2018", File = "lipa18-ranked-lambda.key (0) - a - a - e.pdf", file-2 = "pdf-lipa18-gfp-model (0) - a - a - e.pdf", file-3 = "pdf-lipa18-pushdowns-mc-1 (0) - a - a - e.pdf", file-4 = "pdf-lipa18-lambda (0) - a - a - e.pdf", file-5 = "pdf-lipa18-finite-mc (0) - a - a - e.pdf", file-6 = "pdf-lipa18-intro (0) - a - a - e.pdf", file-7 = "warsaw (0) - a - a - e.pdf" }