Examples:

• $((\lambda x.x\hspace{0.25em} x)(\lambda y.y)) \rightarrow_\beta ((\lambda y.y)(\lambda y.y)) \rightarrow_\beta (\lambda y.y)$
• $((\lambda x.(\lambda y.x\hspace{0.25em} y)) y) \rightarrow_\beta (\lambda y_0.y\hspace{0.25em} y_0)$

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz