My favourite is lambda calculus in Python. It's something to save for a rainy day and follow along with. Great fun and really enlightening.

Sounds like one of the things where Python's broken/stunted lambdas would really hurt.