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