Pages that link to "Item:Q5898167"
From MaRDI portal
The following pages link to Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898167):
Displayed 4 items.
- Infinitary combinatory reduction systems (Q550248) (← links)
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
- Pure pattern calculus à la de Bruijn (Q2229151) (← links)