🎓 Lambda Calculus Masterclass

Topic: Meaning, Structure & Parentheses

What is the meaning of (λx.x)?

Simplify: (λx.(xy))

Remove as many parentheses as possible:

What does (λx.(λy.x)) do?

Which is a subterm of ((λx.x)y)?

Full Parentheses: x y z

According to the rule of Left-Associativity, what is the full form?