The following pages link to J. R. Kennaway (Q1090669):
Displayed 8 items.
- Variable abstraction in O(n log n) space (Q1090671) (← links)
- Needed reduction and spine strategies for the lambda calculus (Q1097253) (← links)
- Infinitary lambda calculus (Q1392145) (← links)
- LEAN: An intermediate language based on graph rewriting (Q1823673) (← links)
- Sequential evaluation strategies for parallel-or and related reduction systems (Q1825644) (← links)
- (Q3789044) (← links)
- (Q3888522) (← links)
- Transfinite reductions in orthogonal term rewriting systems (Q5055744) (← links)