Winning Regions of Higher-Order Pushdown Games.

Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre

Browse the full LICS paper archive.