-1
$\begingroup$

Working through some Lambda Calc questions but I am having trouble with ones that use multiple sets of parenthesis. Questions like the one below where there are multiple sets divided by variable terms I don't know where to start working from. Also not sure of the overall bounding from that first λx.

Any help would be appreciated of how to work through either of these.

How many reducible expressions does the term have?

λx.(λx.(λy.x)x)x(x(λx.x)x)x

and

λx.(λx.(λy.x)x)(x(λx.x)x)λx.x

New contributor
walle is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
$\endgroup$

Your Answer

walle is a new contributor. Be nice, and check out our Code of Conduct.

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.