Lamda kalkülüs
Matematiksel Kavram
Yazeka
Arama sonuçlarına dayanarak oluşturuldu
Lambda kalkülüs, Alonzo Church tarafından 1930'larda geliştirilen ve tüm hesaplamaları kodlayabilen soyut bir hesaplama modelidir. Anonim fonksiyonlar (lambda ifadeleri) ve değişken soyutlama üzerine kuruludur; bu sayede matematiksel mantık ile bilgisayar bilimi arasında köprü oluşturur.12
Turing makinesi ile eşdeğerdir ve Church-Turing tezi ile işlevsel programlama dillerinin temelini oluşturur. Lambda ifadeleri, bağımsız değişken alan ancak adsız işlevler olarak tanımlanır ve bu özellikleriyle modern programlama dillerine ilham verir.13