The following pages link to Comparing Böhm-Like Trees (Q3636829):
Displaying 5 items.
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Counterexamples in infinitary rewriting with non-fully-extended rules (Q1944100) (← links)
- Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
- Böhm trees as higher-order recursion schemes (Q2963900) (← links)
- Abstract Böhm trees (Q4236200) (← links)