next up previous contents index
Next: -Reduction Up: Beta Conversion Previous: Beta Conversion   Contents   Index


Rule of $ \beta $-Conversion

\fbox{
\parbox{12.5cm}{
{\sc Rule 4 (Beta Conversion)} \\
The following transf...
...N) \underset{\beta}{\leftrightarrow}
M[x \leftrightarrow N ]$
\end{center} }
}


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