next up previous contents index
Next: The Lambda Calculus Up: Multiplication of the numbers Previous: Synthesis of (lambda(x0) ...)   Contents   Index


Renaming the variables: x -$ >$ f und x1 -$ >$ x

Eine konsequente Umbenennung von Variablennamen ist nach der Regel der Alpha-Konvertierung immer erlaubt, wenn dadurch nicht Konflikte auftreten, wie sie oben beschrieben wurden. A consequent renaming of variables is always allowed according to the rule of alpha-conversion, provided that this does not cause a conflict similiar to the ones shown above.
\begin{lstlisting}[language=Scm]{}
(lambda(f)
(lambda(x)
(f(f(f(f(f(f x)))))))) [33]
\end{lstlisting}


domain access counter Georg P. Loczewski 2004-03-05