Pages that link to "Item:Q1349744"

The following pages link to \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule (Q1349744):

Displaying 5 items.

• The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II. (Q505454) (← links)
• Combinatory weak reduction in lambda calculus (Q1129266) (← links)
• The Barendregt cube with definitions and generalised reduction (Q1917101) (← links)
• A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language (Q3011126) (← links)
• Postponement, conservation and preservation of strong normalization for generalized reduction (Q4522334) (← links)