Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking.

Luke Ong

Browse the full LATA paper archive.