SKIコンビネータ計算
S(K(SI))K は次にくる2つの項を逆転させる:
S(K(SI))Kαβ →
K(SI)α(Kα)β →
SI(Kα)β →
Iβ(Kαβ) →
Iβα
βα