Crowdly

Add to Chrome

Which of the following terms is \alpha equivalent to (\lambda x . x)\lambda...

✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.

Which of the following terms is $\alpha$ \alpha equivalent to $(\lambda x . x)\lambda y . x z$ (\lambda x . x)\lambda y . x z? Make sure you select every term that is $\alpha$ \alpha equivalent to this term, and none that are not.

$\lambda y . x z$ \lambda y . x z

❌

$(\lambda z . z)\lambda w . x z$ (\lambda z . z)\lambda w . x z

✅

$(\lambda y . y)\lambda z . x z$ (\lambda y . y)\lambda z . x z

❌

$\lambda x . x \lambda y . x z$ \lambda x . x \lambda y . x z

❌

Want instant access to all verified answers on learning.monash.edu?

Get Unlimited Answers To Exam Questions - Install Crowdly Extension Now!

Add to Chrome

Telegram Instagram TikTok Question Bank