next up previous contents index
Next: -Abstraction Up: -Reduction Previous: Reducible Expression `redex'   Contents   Index

Rule of $ \beta $-Reduction

\fbox{
\parbox{12.5cm}{
{\sc Rule 5 (Beta Reduction)} \\
The following transfo...
...bda x . M) N) \underset{\beta}{\rightarrow} M[x \rightarrow N]$
\end{center}}
}


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