The Lambda Calculus (2012)
plato.stanford.edu