Khác biệt giữa bản sửa đổi của “Phép tính lambda”
Nội dung được xóa Nội dung được thêm vào
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 |
Không có tóm lược sửa đổi |
||
Dòng 6:
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]]
| |||