Mehrstellige Funktionen

...simulieren durch einstellige:

• mehrstellige Abstraktion:

  \ x y z -> B := \x -> (\y -> (\z -> B ))
  

• mehrstellige Applikation:

  f P Q R    :=   ((f P) Q) R
  

  (die Applikation ist links-assoziativ)

• der Typ einer mehrstelligen Funktion:

  T1 -> T2 -> T3 -> T4   :=
     T1 -> (T2 -> (T3 -> T4))
  

  (der Typ-Pfeil ist rechts-assoziativ)