Einführung in die funktionale Programmierung

(wie im Moulhandbuch Informatik):

Einführung in funktionale Programmierung, Lambda Kalkül.

Ebenso eine tiefere Einführung in die Programmiersprache Haskell