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

Hiện tại, việc tính toán các số thực trong hầu hết các ngôn ngữ phổ biến vẫn được thực hiện thông qua các phép toán dấu phẩy động. Mặt khác, các lý thuyết như hiệu quả loại hai (TTE) và lý thuyết miền từ lâu đã hứa hẹn tính toán …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

Là bản thảo sau đây có sẵn công khai? Dana Scott, 1969, Một lý thuyết về các chức năng tính toán của loại cao hơn . Ghi chú hội thảo chưa được công bố, 7 trang, Đại học Oxford. Có một cuộc thảo luận về bài viết này trong phần …

16 reference-request  lo.logic  type-theory  domain-theory 

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 

Định nghĩa của "poset đại số" trong Mạng và miền liên tục , Định nghĩa I-4.2, nói rằng, với mọi ,x∈Lx∈Lx \in L tập hợp phải là tập hợp có hướng vàA(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L) . Ở đây là một poset, …

12 domain-theory 

\newcommand{\symp}{\Bumpeq} Mối quan hệ kết hợp ≎X≎X\symp_X trên tập XXX là mối quan hệ phản xạ và đối xứng. Một không gian kết hợp là một cặp (X,≎X)(X,≎X)(X, \symp_X) và một hình thái f:X→Yf:X→Yf : X \to Y giữa các không gian kết hợp là một mối quan hệ f⊆X×Yf⊆X×Yf …

11 pl.programming-languages  ct.category-theory  domain-theory  linear-logic 

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 …

10 pr.probability  lambda-calculus  ct.category-theory  denotational-semantics  domain-theory 

Chương của Smyth trong cuốn sổ tay logic trong khoa học máy tính và các tài liệu tham khảo khác mô tả cách sử dụng không gian số liệu làm tên miền. Tôi hiểu rằng không gian số liệu hoàn chỉnh cho điểm cố định duy nhất nhưng tôi không …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Khi làm việc với các danh mục lý thuyết miền (giả sử CPO và CPO), tôi thường mong muốn có một từ điển cho ngôn ngữ của lý thuyết thể loại trong lý thuyết miền.ωω\omega Đó là, đưa ra một khái niệm, nói mũi tên monic, tôi có thể tra …

10 ct.category-theory  semantics  denotational-semantics  domain-theory