Title: Logic, Philosophy, and History of the Lambda-Calculus