Some first steps in writing an eBook to help computer science students get to grips with the lambda calculus.
From the introduction:
The Lambda Calculus was a topic I struggled with during my undergraduate degree. Whilst the effort I invested in the topic paid off in a big way, I felt hampered by a lack of basic working examples for each new topic I was introduced to.
This is my effort at a solution to my original quandary. Read the extract here