BuK-Übung08

Aus ProgrammingWiki
< BuK < IIm11
Archivierte Version vom 2012-05-16T14:28:28+00:00. Aktuelle Version

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