The following pages link to (Q4808745):
Displaying 8 items.
- Infinitary combinatory reduction systems (Q550248) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- (Q4625694) (← links)
- (Q5109521) (← links)
- (Q5111316) (← links)
- The infinitary lambda calculus of the infinite eta Böhm trees (Q5269002) (← links)
