Лямбда-исчисление
Эпоха: Ранняя теория · 1930-е–1950-е
Алонзо Чёрч предложил лямбда-исчисление — формальную систему для определения и применения функций. Лямбда-исчисление считается теоретической основой функционального программирования. Исходное лямбда-исчисление 1936 года было бестиповым; Чёрч добавил простые типы в 1940 году («A Formulation of the Simple Theory of Types»), создав одну из первых явно типизированных систем.
Алонзо Чёрч (1903–1995)
Источники и подтверждения
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics · Тип источника: paper
Church’s 1936 paper presents lambda-definability and undecidability.
Опубликовано: ·Проверено: