Collapsible Pushdown Automata and Recursion Schemes.

Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre

Browse the full LICS paper archive.