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

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


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