The Lambda Calculus: Practice and Principle. - Hugh Leather; Janne Irgens (A List of Successes That Can Change the World, 2016)