λ演算係一種用嚟將可運算函數表達出嚟嘅語言。λ演算具有圖靈完整性，即係任何能夠計嗮λ演算表示到嘅運算嘅運算機械能夠計到任何圖靈機計得到嘅嘢，所以程式語言理論好興攞λ演算嚟做共同語言－即係用λ演算表示程式語言嘅語義。