Example for both rules:

$\lambda x . \lambda y . ((x y) z)$

is equivalent to

$\lambda xy.xyz$.

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz