Ableitungen (Ansatz)

Absicht: Relation $ \to$ auf $ \Lambda$ (Ein-Schritt-Ersetzung):

was soll ($ \lambda$x.B)[x : = 3 + 4] bedeuten?

ist das sinnvoll: ($ \lambda$x.($ \lambda$y.xyx))(yy)$ \to$($ \lambda$y.yx)[x : = (yy)] = $ \lambda$y.y(yy)

das freie y wird fälschlich gebunden



Johannes Waldmann 2007-01-30