Perguntas com a marcação «domain-theory»

Atualmente, o cálculo de reais nas línguas mais populares ainda é feito através de operações de ponto flutuante. Por outro lado, teorias como a efetividade do tipo dois (ETT) e a teoria do domínio há muito prometem o cálculo exato dos reais. Claramente, o problema da precisão do ponto flutuante …

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

O manuscrito a seguir está disponível publicamente? Dana Scott, 1969, uma teoria das funções computáveis ​​do tipo superior . Notas não publicadas do seminário, 7 páginas, University of Oxford. Há uma discussão deste artigo na seção 8.1.2, Tipos como conjuntos , em Cardone & Hindley, 2006 History of Lambda-calculus and …

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

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …

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 

A definição de "poset algébrico" em Malhas e Domínios Contínuos , Definição I-4.2, diz que, para todos os ,x ∈ Lx∈Lx \in L o conjunto deve ser um conjunto direcionado eA ( x ) = ↓ x ∩ K( L )A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) .x = ⨆ ( …

12 domain-theory 

\newcommand{\symp}{\Bumpeq} Uma relação de coerência ≎X≎X\symp_X em um conjunto XXX é uma relação reflexiva e simétrica. Um espaço de coerência é um par (X,≎X)(X,≎X)(X, \symp_X) , e um morfismo f:X→Yf:X→Yf : X \to Y entre espaços de coerência é uma relação f⊆X×Yf⊆X×Yf \subseteq X \times Y tal que para todos …

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

Equivalentemente, existe uma semântica denotacional conhecida para linguagens de programação funcional probabilística de ordem superior? Especificamente, existe um modelo de domínio de cálculo puro não tipado estendido por uma operação de escolha binária aleatória simétrica.λλ\lambda Motivação As categorias fechadas cartesianas fornecem uma semântica para os cálculos ordem superior. Domínios de …

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

O capítulo de Smyth no manual de lógica em ciência da computação e outras referências descrevem como os espaços métricos podem ser usados ​​como domínios. Entendo que espaços métricos completos fornecem pontos fixos exclusivos, mas não entendo por que os espaços métricos são importantes. Eu realmente aprecio qualquer opinião sobre …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Ao lidar com as categorias teóricas de domínio (como CPO e CPO), frequentemente desejo um dicionário para o idioma da teoria de categorias na teoria de domínios.ωω\omega Ou seja, dado um conceito, digamos seta mônica, eu poderia procurar no dicionário e ver quais são as caracterizações conhecidas dele nas diferentes …

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