The early days of combinators and lambda calculus

J. Roger Hindley

(Swansea University)

This talk will be about the origins and early development of combinatory logic and lambda calculus. Both these systems led to impressive technical successes in their very early years, and, after some a period of relative disuse, became standard linguistic tools in computer science. The talk will contain material from an article being written with Felice Cardone for a book on the history of mathematical logic, to be published by North-Holland Elsevier. It will also mention some points which cannot be decently put into writing.
Thursday 18th October 2001, 14:00
Board Room
Department of Computer Science