Lambda-kalkulo
Lambda-kalkulo o λ-kalkulo es formala sistemo en matematikala logiko por expresar komputebleso bazanta ye funcionado di abstraktajo e apliko uzante nomoligado di variebli e substituco (precipue polimonii).
Lo es universala modelo di komputado, qua povas uzar por simular mashino di Turing.