Pages that link to "Item:Q792994"
From MaRDI portal
The following pages link to Reduction graphs in the lambda calculus (Q792994):
Displaying 10 items.
- Needed reduction and spine strategies for the lambda calculus (Q1097253) (← links)
- One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus (Q1104313) (← links)
- Orders, reduction graphs and spectra (Q1275630) (← links)
- Three Syntactic Theories for Combinatory Graph Reduction (Q3003482) (← links)
- (Q4794072) (← links)
- Refining reduction in the lambda calculus (Q4880488) (← links)
- Open problems in rewriting (Q5055780) (← links)
- More problems in rewriting (Q5055812) (← links)
- The combinator M and the Mockingbird lattice (Q5059139) (← links)
- (Q5224689) (← links)