Pages that link to "Item:Q1129266"
From MaRDI portal
The following pages link to Combinatory weak reduction in lambda calculus (Q1129266):
Displaying 15 items.
- The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction (Q654911) (← links)
- The weak lambda calculus as a reasonable machine (Q930866) (← links)
- Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
- Needed reduction and spine strategies for the lambda calculus (Q1097253) (← links)
- Combinatory weak reduction in lambda calculus (Q1129266) (← links)
- The power of closed reduction strategies (Q2866800) (← links)
- (Q3988401) (← links)
- (Q4521592) (← links)
- (Q4794072) (← links)
- Refining reduction in the lambda calculus (Q4880488) (← links)
- (Q4953356) (← links)
- (Q5089021) (← links)
- Normalization by Evaluation for Typed Weak lambda-Reduction (Q5091147) (← links)
- (Q5094133) (← links)
- (Q5224689) (← links)