Lambda calculus (1 janv. 1930 – 1 janv. 1940)
Description:
- 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.
Ajouté au bande de temps:
Zhang, Rui (Ella) - History of Computer Science
Date:
