Crowdly
Add to Chrome
If we use \beta reduction to evaluate the term (\lambda x. \lambda y . y x)...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
If we use \beta reduction to evaluate the term
(\lambda x. \lambda y . y x) (\lambda w . y) z, which of the following can we end up with? Select every answer that might result, and none that cannot.
✅
✅
❌
❌