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$
Is there a difference between $\lambda xy.xy$ and $\lambda x.\lambda y.xy$?
logic;lambda calculus
These are just differences of notations. $xyz.t$ is short for $x.y.z.t$. No magic here.Indeed, $\mbox{pair}=xyp.pxy$ but you tend to emphasize that $\mbox{pair}\,t\,u$ is a function $p.ptu$ by changing the way you write the definition. But it is really the same.