«domain-theory» 태그된 질문

현재 가장 인기있는 언어의 실수 계산은 여전히 ​​부동 소수점 연산을 통해 수행됩니다. 반면에, 2 형 효과 성 (TTE) 및 도메인 이론과 같은 이론은 오랫동안 실수의 정확한 계산을 약속했습니다. 분명히 부동 소수점 정밀도 문제는 관련성이 줄어들지 않았으므로 왜 이러한 이론이 더 주류가되지 않았으며 왜 더 눈에 띄게 구현되지 않았습니까? 예를 들어 …

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

다음의 원고는 공개되어 있습니까? Dana Scott, 1969, 더 높은 유형의 계산 가능한 기능 이론 . 미공개 세미나 노트, 7 페이지, 옥스포드 대학. 섹션 8.1.2에서 본 논문의 논의가, 유형 등의 세트 , 카르 도네 & 힌들리, 2006 년 람다 미적분과 조합 적 논리의 역사 ; 또한 10.1 절, 도메인 이론 (Domain …

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

Lemma : 에타와 동등하다고 가정하면 (\x -> ⊥) = ⊥ :: A -> B. 증명 : ⊥ = (\x -> ⊥ x)에타 동등성 및 (\x -> ⊥ x) = (\x -> ⊥)람다 감소. Haskell 2010 보고서, 섹션 6.2 seq는 두 가지 방정식으로 함수를 지정합니다 . seq :: a-> b-> b …

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 

연속 격자 및 도메인 의 정의 대수 정의, 정의 I-4.2에 따르면 모든 에 대해x∈Lx∈Lx \in L 세트 는 지시 된 세트 여야합니다.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) 여기서 poset이며, K ( L은 ) 의 압축 요소의 집합 인 L은 한 ↓ X 수단 …

12 domain-theory 

\newcommand{\symp}{\Bumpeq} 세트 X 의 일관성 관계 \ symp_X 는 반사적이고 대칭적인 관계입니다. 코 히어 런스 공간은 쌍 (X, \ symp_X) 이며 코 히어 런스 공간 사이 의 형태 f : X \ to Y 는 관계 f \ subseteq X \ times Y 와 같이 모든 (x, y) \ in …

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

마찬가지로 확률 론적 고차 함수 프로그래밍 언어에 대한 알려진 의미 론적 의미가 있습니까? 구체적으로, 대칭 랜덤 이진 선택 연산에 의해 확장 된 순수한 타입이없는 미적분 의 도메인 모델이 있습니까?λλ\lambda 자극 직교 폐쇄 범주는 고차 -calculi에 의미를 제공합니다 . 확률 적 파워 도메인은 확률 적 프로그램에 의미를 제공합니다. 확률 적 전력 …

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

컴퓨터 과학 및 기타 참고 자료의 핸드북에있는 Smyth의 장에서는 메트릭 공간을 도메인으로 사용하는 방법을 설명합니다. 완전한 미터법 공간이 고유 한 고정 점을 제공한다는 것을 이해하지만 메트릭 공간이 중요한 이유를 이해하지 못합니다. 다음 질문에 대한 의견을 보내 주셔서 감사합니다. 의미론에서 (울트라 / 쿼시 / 의사) 메트릭 공간을 사용하는 좋은 예는 무엇입니까? …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

도메인 이론 범주 (CPO 및 CPO)를 다룰 때 , 나는 종종 도메인 이론에서 범주 이론의 언어에 대한 사전을 원한다.ωω\omega 즉, 개념, 예를 들어, Monic Arrow는 사전에서 찾아보고 다른 도메인 범주에서 알려진 특성을 볼 수 있습니다. 나는이 소망이 기대하기에는 너무 크다는 것을 알고 있지만 그것을 근사하는 텍스트 나 자료가 있습니까?

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