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

DOI10.1007/978-3-642-37064-9_3zbMath1377.68135OpenAlexW129748363MaRDI QIDQ4910438

Luke Ong

Publication date: 18 March 2013

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37064-9_3

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Herbrand's theorem as higher order recursion

This page was built for publication: Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking