verkürzte Notation

Applikation als links-assoziativ auffassen, Klammern weglassen:

(...((FA₁)A₂)...A_n) $\displaystyle \sim$ FA₁A₂...A_n

Beispiel: ((xz)(yz)) $\sim$ xz(yz)
geschachtelte Abstraktionen unter ein Lambda schreiben:

$\displaystyle \lambda$ x₁.( $\displaystyle \lambda$ x₂....( $\displaystyle \lambda$ x_n.B)...) $\displaystyle \sim$ $\displaystyle \lambda$ x₁x₂...x_n.B

Beispiel: $\lambda$ x. $\lambda$ y. $\lambda$ z.B $\sim$ $\lambda$ xyz.B

Johannes Waldmann 2007-01-30