Collapsible Pushdown Automata and Recursion Schemes

Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre. Collapsible Pushdown Automata and Recursion Schemes. ACM Trans. Comput. Log., 18(3), 2017. [doi]

Abstract

Abstract is missing.