Preguntas etiquetadas con domain-theory

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 …

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

¿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 & Hindley, 2006 History of Lambda-calculus …

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

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 …

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 

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 = ⨆ ( ↓ …

12 domain-theory 

\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 …

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

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 simétrica.λλ\lambda Motivación Las categorías cerradas cartesianas proporcionan una semántica a los cálculos orden …

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

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 cualquier idea sobre las siguientes …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

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 caracterizaciones …

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