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 não...
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...
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 -> b -> b seq ⊥ b = ⊥ seq...
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 = ⨆ ( ↓ x ∩ K( L )x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x...
\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...
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...
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...
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...