@MastersThesis{   Kokke:2017,
  Author        = "Kokke, Wen",
  date-added    = "2019-04-13 12:16:49 +0200",
  date-modified = "2019-04-13 12:17:23 +0200",
  School        = "University of Edinburgh",
  Title         = "Races in Classical Linear Logic",
  Year          = "2017",
  File          = "msc2017 (0) (0) - a - a - x.pdf"
}

@MastersThesis{ Kokke:2017, Author = "Kokke, Wen", date-added = "2019-04-13 12:16:49 +0200", date-modified = "2019-04-13 12:17:23 +0200", School = "University of Edinburgh", Title = "Races in Classical Linear Logic", Year = "2017", File = "msc2017 (0) (0) - a - a - x.pdf" }