Mehrstellige Funktionen

...simulieren durch einstellige:

• Abstraktion: λxyz.B : = λx.λy.λz.B
• Applikation: fPQR : = ((fP)Q)R

weiterer syntactic sugar:

let { f x =        A } in B
let { f   = \ x -> A } in B