Mehrstellige Funktionen

die vorigen Abkürzungen sind sinnvoll, denn ($\lambda$x₁...x_n.B)A₁...A_n

verhält sich wie eine Anwendung einer mehrstelligen Funktion.

um die zu beschreiben, genügt also ein Kalkül für einstellige Funktionen.

(Beispiel)