An verschiedenen Stellen wurden ein paar Tutorials zum Lambda-Kalkül empfohlen.

Ich würde mich über Kommentare mit weiteren hilfreichen Seiten freuen!