GooseThief rated An introduction to functional programming through Lambda calculus: 4 stars April 9, 2013 Public An introduction to functional programming through Lambda calculus by Greg Michaelson