Funktionale Programmierung: 3.4) Pure Lambda Calculus (Fr, 22.06.2012)