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

Tôi nghĩ rằng tôi không hiểu nó, nhưng -conversion nhìn tôi như một -conversion không làm gì cả, một trường hợp đặc biệt của -conversion trong đó kết quả chỉ là thuật ngữ trong trừu tượng lambda vì không có gì cả để làm, loại chuyển đổi vô nghĩa .beta …

18 lo.logic  lambda-calculus  extensionality 

Có hai lý thuyết chính, được nghiên cứu về phép tính lambda, lý thuyết beta và phần mở rộng sau khi hoàn thành của nó, lý thuyết beta-eta. Liệu hai lý thuyết này có một giữa, một loại quy tắc eta trung gian đưa ra một lý thuyết viết lại …

15 lo.logic  lambda-calculus  extensionality 

Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Klop, van Oostrom và de Vrijer có một bài viết về phép tính lambda với các mẫu. http://www.scTHERirect.com/science/article/pii/S0304397508000571 Theo một nghĩa nào đó, một mẫu là một cây các biến - mặc dù tôi chỉ nghĩ về nó như một bộ biến số lồng nhau, ví dụ, ((x, y), z), …

12 type-theory  lambda-calculus  typed-lambda-calculus  extensionality 

Tôi đang dịch một cuốn sách về LISP và tự nhiên nó chạm vào một số yếu tố của -calculus. Vì vậy, một khái niệm extensionality được đề cập có cùng một số mô hình của λ -calculus, cụ thể là: và (vâng, với vô cực ở đầu trang). Và …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

Nếu bạn có hai hàm thực hiện một thuật toán sắp xếp khác nhau, thì có thể suy ra bằng mã nguồn mà cả hai đều có cùng thuộc tính bên ngoài không? Có nghĩa là cả hai sẽ có một chuỗi chưa được sắp xếp có thể là đầu …

9 pl.programming-languages  decidability  formal-methods  extensionality