Lambda calculus (jan 1, 1930 – jan 1, 1940)
- Lambda calculus played a big part in the development of functional programming languages. It is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
- It is essential because it promoted the development of functional programming language.
Added to timeline:
Zhang, Rui (Ella) - History of Computer Science