@Misc{            ong:2016,
  Author        = "Ong, Luke",
  date-added    = "2017-06-26 16:33:33 +0000",
  date-modified = "2017-06-26 16:34:06 +0000",
  HowPublished  = "slides",
  Title         = "Higher type Automata-Logic-Games Correspondences",
  Year          = "2016",
  File          = "LukeOng-shonan (0) - a - a - r.pdf"
}

@Misc{ ong:2016, Author = "Ong, Luke", date-added = "2017-06-26 16:33:33 +0000", date-modified = "2017-06-26 16:34:06 +0000", HowPublished = "slides", Title = "Higher type Automata-Logic-Games Correspondences", Year = "2016", File = "LukeOng-shonan (0) - a - a - r.pdf" }