Next:
-Abstraction
Up:
-Reduction
Previous:
Reducible Expression `redex'
Contents
Start
Rule of
-Reduction
Georg P. Loczewski 2004-03-05
Impressum und Datenschutz
-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}}
}](img230.gif)