Pages that link to "Item:Q1825644"
From MaRDI portal
The following pages link to Sequential evaluation strategies for parallel-or and related reduction systems (Q1825644):
Displayed 8 items.
- A sequential reduction strategy (Q671504) (← links)
- Needed reduction and spine strategies for the lambda calculus (Q1097253) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Infinitary lambda calculus (Q1392145) (← links)
- Sequentiality, monadic second-order logic and tree automata. (Q1854333) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)