3
Có bất kỳ CCC được biết đến đóng cửa dưới một hoạt động powerdomain xác suất?
Tương tự, có một ngữ nghĩa biểu thị đã biết cho các ngôn ngữ lập trình hàm bậc cao xác suất? Cụ thể, có một mô hình miền của -calculus thuần túy được mở rộng bằng một hoạt động lựa chọn nhị phân ngẫu nhiên đối xứng.λλ\lambda Động lực Các …