Actualmente, el cálculo de los reales en los idiomas más populares todavía se realiza a través de operaciones de coma flotante. Por otro lado, teorías como la efectividad de tipo dos (TTE) y la teoría de dominios han prometido durante mucho tiempo el cálculo exacto de los reales. Claramente, el...
¿Está disponible públicamente el siguiente manuscrito? Dana Scott, 1969, Una teoría de funciones computables de tipo superior . Notas de seminario no publicadas, 7 páginas, Universidad de Oxford. Hay una discusión sobre este artículo en la sección 8.1.2, Tipos como conjuntos , en Cardone &...
Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq :: a -> b ->...
\newcommand{\symp}{\Bumpeq} Una relación de coherencia en un conjunto X es una relación reflexiva y simétrica. Un espacio de coherencia es un par (X, \ symp_X) , y un morfismo f: X \ a Y entre espacios de coherencia es una relación f \ subseteq X \ veces Y tal que para todos (x, y) \ en f y (x ',...
La definición de "poset algebraico" en retículos y dominios continuos , definición I-4.2, dice que, para todo ,x ∈ Lx∈Lx \in L el conjunto debe ser un conjunto dirigido, yA ( 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}...
Al tratar con las categorías teóricas de dominio (por ejemplo, CPO y CPO), con frecuencia deseo un diccionario para el lenguaje de la teoría de categorías en la teoría de dominios.ωω\omega Es decir, dado un concepto, digamos flecha mónica, podría buscarlo en el diccionario y ver cuáles son sus...
El capítulo de Smyth en el manual de lógica en informática y otras referencias describe cómo los espacios métricos pueden usarse como dominios. Entiendo que los espacios métricos completos dan puntos fijos únicos, pero no entiendo por qué los espacios métricos son importantes. Realmente agradecería...
De manera equivalente, ¿existe una semántica denotacional conocida para los lenguajes de programación funcional probabilísticos de orden superior? Específicamente, ¿existe un modelo de dominio de cálculo puro sin tipo extendido por una operación de elección binaria aleatoria...