Pages that link to "Item:Q505454"
From MaRDI portal
The following pages link to The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II. (Q505454):
Displaying 5 items.
- The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction (Q654911) (← links)
- Une nouvelle C\(\beta\)-réduction dans la logique combinatoire (Q762137) (← links)
- On pseudo-c\(\beta\) normal form in combinatory logic (Q1120559) (← links)
- \(c\beta\)-Machine with \(\lambda \beta\)-reduction (Q1389686) (← links)
- Surjectivity for finite sets of combinators by weak reduction (Q3815284) (← links)