Nội dung được xóa Nội dung được thêm vào
|
|
|
[[Thể loại:Khoa học máy tính]]
[[Thể loại:Phương pháp hình thức]]
[[ar:حسابات اللامدا]]
[[bn:ল্যাম্ডা ক্যালকুলাস]]
[[bs:Lambda račun]]
[[ca:Càlcul lambda]]
[[cs:Lambda kalkul]]
[[de:Lambda-Kalkül]]
[[el:Λογισμός λάμδα]]
[[en:Lambda calculus]]
[[es:Cálculo lambda]]
[[eo:Lambda-kalkulo]]
[[fr:Lambda-calcul]]
[[ko:람다 대수]]
[[hr:Lambda račun]]
[[is:Lambda-reikningur]]
[[it:Lambda calcolo]]
[[he:תחשיב למדא]]
[[hu:Lambda-kalkulus]]
[[nl:Lambdacalculus]]
[[ja:ラムダ計算]]
[[pl:Rachunek lambda]]
[[pt:Cálculo lambda]]
[[ru:Лямбда-исчисление]]
[[simple:Lambda calculus]]
[[sk:Lambda kalkul]]
[[sh:Lambda račun]]
[[fi:Lambdakalkyyli]]
[[sv:Lambdakalkyl]]
[[ta:லாம்டா நுண்கணிதம்]]
[[uk:Лямбда-числення]]
[[zh:Λ演算]]
|
