\begin{slide}{Ableitungen (Ansatz)}

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

\begin{itemize}
\item $(\lambda x.B)A \to B[x:=A]$ (Vorsicht)
\item $F\to F' \Rightarrow (F A)\to (F' A)$
\item $A\to A' \Rightarrow (F A)\to (F A')$
\item $B\to B' \Rightarrow \lambda x.B\to \lambda x.B'$
\end{itemize}

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

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

das freie $y$ wird fälschlich gebunden

\end{slide}



%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "~/edu/ws06/sym/folien/sym"
%%% End: 
