Pages that link to "Item:Q762137"

The following pages link to Une nouvelle C\(\beta\)-réduction dans la logique combinatoire (Q762137):

Displaying 4 items.

• The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II. (Q505454) (← links)
• The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction (Q654911) (← links)
• On pseudo-c\(\beta\) normal form in combinatory logic (Q1120559) (← links)
• \(c\beta\)-Machine with \(\lambda \beta\)-reduction (Q1389686) (← links)