Lambda calculus (1 янв 1930 г. – 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.
Добавлено на ленту времени:
Дата:
1 янв 1930 г.
1 янв 1940 г.
~ 10 years