Collapsible Pushdown Automata and Recursion Schemes (LICS, 2008)

(untitled) - Murawski, C; Serre, O