λx1[λx2[...λxn[M]...]]可簡寫為λx1x2...xn . M 或是 λx1x2...xn . M。上述簡寫法可知λ運簡子是右結合性。