An introduction to functional programming through Lambda calculus by Greg Michaelson | Menrva Books | MenrvaBooks