Survey on materials that touch on the history of Lambda Calculus - View it on GitHub