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):
Displaying 6 items.
- Infinitary combinatory reduction systems (Q550248) (← links)
- Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913) (← 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)
- Expression reduction systems with patterns (Q2467565) (← links)