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

n
→‎Chú thích: AlphamaEditor, thêm thể loại, Excuted time: 00:00:08.6339748
n (→‎Chú thích: add category using AWB)
n (→‎Chú thích: AlphamaEditor, thêm thể loại, Excuted time: 00:00:08.6339748)
[[Thể loại:Phương pháp hình thức]]
[[Thể loại:Khoa học máy tính lý thuyết]]
[[Thể loại:Phát minh của Mỹ]]