Lambda calculus (1 Jan 1930 Jahr – 1 Jan 1940 Jahr)
Beschreibung:
- 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.
Zugefügt zum Band der Zeit:
Zhang, Rui (Ella) - History of Computer Science
Datum:
