Lambda Calculus.
3+1+1 ပေါ့ (+1) နဂို 3 ကို +1 ပေါင်း 2 ကြိမ်လုပ်လိုက်ရင် 3+2 ရမယ်ပေါ့။ lamdbda calculus နဲ.ဆုိဒီလိုရမယ် PLUS = λmn.λfx.(m f) ((n f) x)) M ‌ေရာ n ရောက church number တွေ reduction step တွေကိုတော့ ထဲ့မရေးတော့ဘူး ပိုရှုပ်သွားမှာစိုးလို. ((n f) x) ဆိုတာက church numeral n ကိုခေါ်သုံးတာ။ အဲ့ကောင်ကို ရှေ.က