Pages that link to "Item:Q5901570"
From MaRDI portal
The following pages link to Rewriting Techniques and Applications (Q5901570):
Displaying 6 items.
- Infinitary combinatory reduction systems (Q550248) (← links)
- Applications of infinitary lambda calculus (Q1021568) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus (Q2914680) (← links)
- (Q4834480) (← links)
- Strict ideal completions of the lambda calculus (Q4993334) (← links)