Beispiel

vordefinierte Kombinatoren:

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


Programm: P = λx.xx

Übersetzung: P' = SII

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



2010-10-12