Eta Conversion

Next: -Reduction Up: Basic Rules for Lambda Previous: Remark: Contents Start

Eta Conversion

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

$\eta$ -reduction and
$\eta$ -abstraction

$\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

$\eta$ -Reduction
$\eta$ -Abstraction

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz