Câu hỏi được gắn thẻ «linear-logic»

Logic với sự co lại hạn chế và suy yếu.










1
Tham số của logic tuyến tính
Chúng ta có thể chứng minh một định lý tham số miễn phí về các hàm như ? Nó được cho là nói rằng f lấy một danh sách và luôn trả về một hoán vị của nó.f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A]fff Một ví dụ khác: chứng …


Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.