History of Lambda-Calculus and Combinatory Logic (2006) [pdf] | Heykuki News