I am currently learning the lambda calculus and was wondering about the following two different kinds of writing a lambda term.
- $\lambda xy.xy$
- $\lambda x.\lambda y.xy$
Is there any difference in meaning or the way you apply beta reduction, or are those just two ways to express the same thing?
Especially this definition of pair creation made me wonder:
pair = $\lambda xy.\lambda p.pxy$