@Article{         Hague:2017aa,
  Author        = "Hague, Matthew and Meyer, Roland and Muskalla, Sebastian",
  Abstract      = "We study two-player inclusion games played over word-generating higher-order recursion schemes. While inclusion checks are known to capture verification problems, two-player games generalise this relationship to include program synthesis. In such games, non-terminals of the grammar are controlled by opposing players. The goal of the existential player is to avoid producing a word that lies outside of a regular language of unsafe words.",
  date-added    = "2017-05-06 09:18:03 +0000",
  date-modified = "2017-05-06 09:42:37 +0000",
  EPrint        = "1705.00355",
  Keywords      = "higher-order recursive schemes and readme and citesme!",
  Month         = "05",
  Title         = "Domains for Higher-Order Games",
  URL           = "https://arxiv.org/abs/1705.00355",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1705.00355",
  File          = "1705.00355 (0) - a - a - y.pdf"
}

@Article{ Hague:2017aa, Author = "Hague, Matthew and Meyer, Roland and Muskalla, Sebastian", Abstract = "We study two-player inclusion games played over word-generating higher-order recursion schemes. While inclusion checks are known to capture verification problems, two-player games generalise this relationship to include program synthesis. In such games, non-terminals of the grammar are controlled by opposing players. The goal of the existential player is to avoid producing a word that lies outside of a regular language of unsafe words.", date-added = "2017-05-06 09:18:03 +0000", date-modified = "2017-05-06 09:42:37 +0000", EPrint = "1705.00355", Keywords = "higher-order recursive schemes and readme and citesme!", Month = "05", Title = "Domains for Higher-Order Games", URL = "https://arxiv.org/abs/1705.00355", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1705.00355", File = "1705.00355 (0) - a - a - y.pdf" }