next up previous contents index
Next: -Reduction Up: Beta Conversion Previous: Beta Conversion   Contents   Start


Rule of $ \beta $-Conversion

\fbox{ \parbox{12.5cm}{ {\sc Rule 4 (Beta Conversion)} \\ The following transf... ...N) \underset{\beta}{\leftrightarrow} M[x \leftrightarrow N ]$ \end{center} } }

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz