Mehrstellige Funktionen

die vorigen Abkürzungen sind sinnvoll, denn ($ \lambda$x1...xn.B)A1...An

verhält sich wie eine Anwendung einer mehrstelligen Funktion.

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

(Beispiel)



Johannes Waldmann 2007-01-30