The following publications are possibly variants of this publication:
- Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown AutomataC.-H. Luke Ong. In Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 263-299, IOS Press, 2010. [doi]
- Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical PropertiesChristopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre. tocl, 22(2), 2021. [doi]
- Collapsible Pushdown Automata and Recursion SchemesMatthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre. lics 2008: 452-461 [doi]
- Collapsible Pushdown Automata and Recursion SchemesMatthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre. tocl, 18(3), 2017. [doi]
- On Model-Checking Trees Generated by Higher-Order Recursion SchemesC.-H. Luke Ong. lics 2006: 81-90 [doi]
- On Global Model Checking Trees Generated by Higher-Order Recursion SchemesChristopher Broadbent, Luke Ong. fossacs 2009: 107-121 [doi]
- A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion SchemesNaoki Kobayashi, C.-H. Luke Ong. lics 2009: 179-188 [doi]