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 12 items.
- Making ``stricterness'' more relevant (Q656871) (← links)
- 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)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types (Q3184667) (← links)
- Refining reduction in the lambda calculus (Q4880488) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- Relative normalization in Deterministic Residual Structures (Q5878909) (← links)