Pages that link to "Item:Q1097253"
From MaRDI portal
The following pages link to Needed reduction and spine strategies for the lambda calculus (Q1097253):
Displayed 7 items.
- A safe approach to parallel combinator reduction (Q1095642) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Strictness analysis via abstract interpretation for recursively defined types (Q1193597) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Refining reduction in the lambda calculus (Q4880488) (← links)