A book about lambda calculus and functional programming using Racket and Python.