2
Định nghĩa chính xác của danh mục tổng hợp / miền tổng hợp theo cú pháp trừu tượng
Tôi đã đọc phần giới thiệu của một vài cuốn sách về ngữ nghĩa ngôn ngữ lập trình (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt), và trong khi tôi hiểu ý nghĩa của chúng theo thể loại cú pháp , hoặc miền cú pháp , tôi đã không hiểu …