next up previous contents index
Next: -Reduction Up: Basic Rules for Lambda Previous: Remark:   Contents   Index


Eta Conversion

Like $ \beta $-conversion $ \eta $-conversion can be performed from left to right and from right to left and is therefore subdivided in

\fbox{
\parbox{12.5cm}{
{\sc Rule 7 (Eta Conversion)} \\
The following transfo...
...ightarrow} M$\ ,
\end{center}where $x$\ may not be a free variable in $M$.
}
}


Subsections

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