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


Renaming the variables: x -$ >$ f and 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. 


(lambda(f)
   (lambda(x)
      (f(f(f(f(f(f x)))))))) [33]


Georg P. Loczewski 2004-03-05

Impressum und Datenschutz