Great talk on Lambda calculus with fascinating demo code.