Funktionale Programmierung: 3.2) Reduction Rules of the Lambda Calculus 3.3) Reducing Haskell to the Lambda Calculus (Mo, 18.06.2012)