Funktionale Programmierung: 3) The Lambda Calculus 3.1) Syntax of Lambda Calculus 3.2) Reduction Rules of the Lambda Calculus (Fr, 15.06.2012)