Fixpunkt-Kombinatoren

wir benutzen eine Variante des Y:

Y' = λf.(λx.f (λy.xxy))(λx.f (λy.xxy))),

weil sonst die Aufrufe (xx) nicht halten würden.

Ü: weitere Fixpunktkombinatoren, Θ = (λxy.(y(xxy)))(λxy.(y(xxy)))



Johannes Waldmann 2011-01-23