The following pages link to Director strings as combinators (Q3823125):
Displaying 11 items.
- The BC-chain method for representing combinators in linear space (Q1077160) (← links)
- Variable abstraction in O(n log n) space (Q1090671) (← links)
- A safe approach to parallel combinator reduction (Q1095642) (← links)
- Capturing strong reduction in director string calculus (Q1208420) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- The combinator S (Q1854346) (← links)
- Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
- Translating higher-order clauses to first-order clauses (Q2471742) (← links)
- The Reduceron reconfigured and re-evaluated (Q3165526) (← links)
- (Q4447222) (← links)
- Call-by-value combinatory logic and the lambda-value calculus (Q6171751) (← links)