@PhdThesis{       HePhD,
  Author        = "He, Fanny",
  date-added    = "2020-10-17 15:03:57 +0200",
  date-modified = "2020-10-17 15:04:11 +0200",
  Title         = "The Atomic Lambda-Mu Calculus",
  File          = "The Atomic Lambda-Mu Calculus - 2018-he-PHD - a - w.pdf"
}

@PhdThesis{ HePhD, Author = "He, Fanny", date-added = "2020-10-17 15:03:57 +0200", date-modified = "2020-10-17 15:04:11 +0200", Title = "The Atomic Lambda-Mu Calculus", File = "The Atomic Lambda-Mu Calculus - 2018-he-PHD - a - w.pdf" }