@Misc{            Ong:ICLA:2017,
  Author        = "Ong, Luke",
  date-added    = "2017-05-21 15:33:57 +0000",
  date-modified = "2017-05-21 15:36:55 +0000",
  HowPublished  = "slides at ICLA'17",
  Title         = "Automata, Logic and Games for the Lambda Calculus - Recent Developments in Higher-Order Model Checking",
  Year          = "2017",
  File          = "ong-icla-2017 (0) - a - a - l.pdf"
}

@Misc{ Ong:ICLA:2017, Author = "Ong, Luke", date-added = "2017-05-21 15:33:57 +0000", date-modified = "2017-05-21 15:36:55 +0000", HowPublished = "slides at ICLA'17", Title = "Automata, Logic and Games for the Lambda Calculus - Recent Developments in Higher-Order Model Checking", Year = "2017", File = "ong-icla-2017 (0) - a - a - l.pdf" }