Hindley, Roger "Birth of lambda-calculus and combinatory logic"
(2000)
[Proceedings] (2000)
Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000
Languages mentioned
Schoenfinkel
{1924} Schoenfinkel's combinatory algebra