حساب لامدا هو نظام شكلي في المنطق الرياضي للتوابع القابلة للحساب و يستخدم للتعبير عن الحساب على أساس التجريد، يمكن استخدامه لمحاكاة آلة تورينغ.
تعتمد لغات البرمجة التابعية مثل Lisp , ML, Miranda على حساب لامدا.
2
0
1
true
