The following pages link to (Q3320341):
Displaying 5 items.
- Reduction graphs in the lambda calculus (Q792994) (← links)
- One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus (Q1104313) (← links)
- Orders, reduction graphs and spectra (Q1275630) (← links)
- Cofinite graphs and their profinite completions (Q5006629) (← links)
- Cohesive avoidance and strong reductions (Q5496327) (← links)