Unboundedness and downward closures of higher-order pushdown automata.

Matthew Hague, Jonathan Kochems, C.-H. Luke Ong

Browse the full POPL paper archive.