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 clean up, replaced: → (3) using AWB |
n →Chú thích: add category using AWB |
||
Dòng 17:
[[Thể loại:Khoa học máy tính]]
[[Thể loại:Phương pháp hình thức]]
[[Thể loại:Khoa học máy tính lý thuyết]]
|