Kalkulus Lambda
Era: Teori Awal · 1930-an–1950-an
Alonzo Church mengajukan Kalkulus Lambda, sistem formal untuk pendefinisian dan penerapan fungsi. Kalkulus Lambda dipandang sebagai landasan teoretis pemrograman fungsional. Kalkulus lambda asli tahun 1936 tidak bertipe; Church menambahkan tipe sederhana pada 1940 (“A Formulation of the Simple Theory of Types”), menciptakan salah satu sistem bertipe eksplisit yang paling awal.
Alonzo Church (1903–1995)
Sumber dan bukti
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics · Jenis sumber: paper
Church’s 1936 paper presents lambda-definability and undecidability.
Terbit: ·Diakses: