The Work Highlights of the History of Lambda calculus The details The Author J. Barkley Rosser The offers