Alpha-Konvertierung

Eine Alpha-Konvertierung eines Lambda-Ausdrucks ist wie folgt definiert:

$% latex2html id marker 948 \fbox{ \parbox{12.5cm}{ {\sc Fundamentalbegriff {\a... ... gleich {\em modulo alpha}: \\ \begin{center}$M =_\alpha N$. \end{center} } }$

Eine Alpha-Konvertierung kann notwendig sein, wenn Teile eines Lambda-Ausdrucks substituiert werden müssen.

Georg Loczewski 2003-08-07