2
Các loại phổ quát là một loại phụ, hoặc trường hợp đặc biệt, của các loại tồn tại?
Câu hỏi này đã được di chuyển từ Exchange Engineering Stack Exchange vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Tôi muốn biết liệu loại : T a = ∀ X : { a ∈ X , f : X …