Tiếng Việt
← Quay lại dòng thời gian

Lambda Calculus

Thời kỳ: Lý thuyết Sơ khai · những năm 1930–những năm 1950

Alonzo Church đề xuất Lambda Calculus, một hệ thống hình thức để định nghĩa và áp dụng hàm. Lambda Calculus được coi là nền tảng lý thuyết của lập trình hàm. Bản gốc lambda calculus năm 1936 vốn không có kiểu; Church đã thêm kiểu đơn giản vào năm 1940 (“A Formulation of the Simple Theory of Types”), tạo ra một trong những hệ thống kiểu rõ ràng đầu tiên.

Alonzo Church (1903–1995)

Trạng thái
Đã kiểm chứng
Loại nội dung
fact
Kiểm tra lần cuối

Nguồn và bằng chứng

  1. An Unsolvable Problem of Elementary Number Theory

    American Journal of Mathematics · Loại nguồn: paper

    Church’s 1936 paper presents lambda-definability and undecidability.

    Xuất bản: ·Truy cập: