Similar Items: Semantics of Higher-Order Recursion Schemes
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs
- Using models to model-check recursive schemes
- Recursion Schemes, the MSO Logic, and the U quantifier
- Extensional Semantics for Higher-Order Logic Programs with Negation
- On the Semantic Expressiveness of Iso- and Equi-Recursive Types
- Defining Recursive Predicates in Graph Orders