Beispiele

• vordefinierte Kombinatoren:

  I = λx.x, K = λxy.x, S = λxyz.xz(yz)

  Ü: Berechne Normalform von SKKx, von SIIx

• weitere, z. B. B = λxyz.x(yz), C = λxyz.xzy, J = λxyzw.xy(xwz)

  Ü: simuliere B und C durch I und J