History of Lambda-Calculus and Combinatory Logic (2006) [pdf]github.com/aistrate4 pointsheydenberk8 years ago