Ableitungen

Absicht: Relation β auf Λ/≡α (Ein-Schritt-Ersetzung):

Vorsicht:

(λx.(λy.xyx))(yy)→β(λy.yx)[x : = (yy)]$ \;\stackrel{{?}}{{=}}\;$λy.y(yy)

das freie y wird fälschlich gebunden

die Substitution ist nicht ausführbar, man muß vorher lokal umbenennen



Johannes Waldmann 2013-01-31