Fairouz Kamareddine, Twan Laan and Rob Nederpelt "A History of Types in Logic and Mathematics"

[Proceedings] (2000) Workshop on History of Logics, Types and Rewriting Heriot-Watt University, Edinburgh Tuesday 5 December 2000  

Languages mentioned Church typed-lambda calculus {1941} Church Curry Combinatorials {1958} Frege {1879} Lambda Calculus {1936} Peano {1888} Peano Principia Mathematica {1908} R & W symbolic treatment of maths Schoenfinkel {1924} Schoenfinkel's combinatory algebra Simplified Type Theory {1924}