Pages that link to "Item:Q2963900"
From MaRDI portal
The following pages link to Böhm trees as higher-order recursion schemes (Q2963900):
Displaying 5 items.
- Abstract Böhm trees (Q4236200) (← links)
- Homogeneity without loss of generality (Q4993359) (← links)
- Automata, Logic and Games for the $$\lambda $$ -Calculus (Q5224488) (← links)
- A characterization of lambda-terms transforming numerals (Q5371970) (← links)
- Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses (Q6647302) (← links)