Pages that link to "Item:Q654911"

The following pages link to The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction (Q654911):

Displaying 8 items.

• The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II. (Q505454) (← links)
• Une nouvelle C\(\beta\)-réduction dans la logique combinatoire (Q762137) (← links)
• On pseudo-c\(\beta\) normal form in combinatory logic (Q1120559) (← links)
• Combinatory weak reduction in lambda calculus (Q1129266) (← links)
• \(c\beta\)-Machine with \(\lambda \beta\)-reduction (Q1389686) (← links)
• Combinatory logic with polymorphic types (Q2144609) (← links)
• Strong reduction of combinatory calculus with streams (Q2352459) (← links)
• The Church Rosser theorem for strong reduction in combinatory logic (Q2537972) (← links)