Khác biệt giữa bản sửa đổi của “Phép tính lambda”
n Qbot: Việt hóa |
n Giải tích lambda đổi thành Tính toán lambda: Giải tích = analys; calculus = tính toán |
||
(Không có sự khác biệt)
|
n Qbot: Việt hóa |
n Giải tích lambda đổi thành Tính toán lambda: Giải tích = analys; calculus = tính toán |
||
(Không có sự khác biệt)
|