Khác biệt giữa các bản “Phép tính lambda”

không có tóm lược sửa đổi
n (robot Thêm: bn, ca, cs, de, el, en, eo, es, fr, he, hr, hu, it, ja, ko, nl, pl, pt, ru, simple, sk, sv, ta, uk, zh)
 
Bài báo này chỉ trình bày về "giải tích lambda không xác định kiểu" (untyped lambda calculus) được đưa ra bởi Church. Các ứng dụng hiện đại quan tâm chủ yếu đến [[giải tích lambda xác định kiểu cụ thể]].
==Chú thích==
 
<references/>
[[bn:ল্যাম্‌ডা ক্যালকুলাস]]
[[ca:Càlcul lambda]]
4.137

lần sửa đổi