The following pages link to Normal-order reduction grammars (Q5372004):
Displaying 7 items.
- Parameter-reduction of higher level grammars (Q1099634) (← links)
- The combinator S (Q1854346) (← links)
- On the likelihood of normalization in combinatory logic (Q3133193) (← links)
- On the enumeration of closures and environments with an application to random generation (Q4972734) (← links)
- Counting environments and closures (Q4993337) (← links)
- (Q5089006) (← links)
- (Q5753526) (← links)