next up previous contents index
Next: Examples: Up: -Abstraction Previous: -Abstraction   Contents   Index

Rule of $ \beta $-Abstraction

\fbox{
\parbox{12.5cm}{
{\sc Rule 6 (Beta Abstraction)} \\
The following trans...
...ambda x . M) N) \underset{\beta}{\leftarrow} M[x \leftarrow N]$
\end{center}}
}



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