BuK/IIm11/BuK-Übung08

Wiki-Quelltext dieser Seite.

Wenden Sie für  (($\lambda$ x. ( $\lambda$ y. ((x y)))(y w)) vor der $\beta$-Reduktion die $\alpha$-Konvention an.

Vereinfachen Sie den Racket-Ausdruck ($\lambda$(z)(($\lambda$(x)($*$ 3 x)) z)).

Reduzieren Sie (($\lambda$(x)(x x))($\lambda$(x) x)) und (($\lambda$(x)(x x))($\lambda$(x)(x x))).

Zeigen Sie, dass für  Y := ($\lambda$ f. (($\lambda$ x. (f (x x)))($\lambda$ x. (f (x x))))) gilt: (Y g) = (g (Y g)).