BuK/IIm11/BuK-Übung08
Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
Wenden Sie für (($\lambda$ x. ( $\lambda$ y. ((x y)))(y w)) vor der $\beta$-Reduktion die $\alpha$-Konvention an.
Wiki-Quelltext dieser Seite.
Wenden Sie für (($\lambda$ x. ( $\lambda$ y. ((x y)))(y w)) vor der $\beta$-Reduktion die $\alpha$-Konvention an.