Lambda-Terme: verkürzte Notation

• Applikation als links-assoziativ auffassen, Klammern weglassen:
  (...((FA₁)A₂)...A_n)∼FA₁A₂...A_n

  Beispiel: ((xz)(yz))∼xz(yz)

• geschachtelte Abstraktionen unter ein Lambda schreiben:
  λx₁.(λx₂....(λx_n.B)...)∼λx₁x₂...x_n.B

  Beispiel: λx.λy.λz.B∼λxyz.B