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