Beispiel

vordefinierte Kombinatoren:

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

Programm: P = λx.xx

Übersetzung: P' = SII

Begründung: P'x = SIIx→Ix(Ix)→x(Ix)→xx