Lambda-Lifting (Realisierung)

Beispiel: lift(λx.λy.yx) = liftx(lifty(yx)) = liftx(SI(Kx)) = S(K(SI))(S(KK)I) mathend000#



Johannes Waldmann 2014-03-31