Questions marquées «domain-theory»



4
L'équivalence eta pour les fonctions est-elle compatible avec l'opération seq de Haskell?
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: …

1
Est-ce une condition équivalente pour les posets algébriques?
La définition de "poset algébrique" dans les réseaux continus et les domaines , définition I-4.2, dit que, pour tout ,x∈Lx∈Lx \in L l'ensemble doit être un ensemble dirigé, etA(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) . Ici LLL est un poset, K(L)K(L)K(L) est l'ensemble …


3
Y a-t-il un CCC connu fermé dans le cadre d'une opération de domaine de puissance probabiliste?
De manière équivalente, existe-t-il une sémantique dénotationnelle connue pour les langages de programmation fonctionnels d'ordre supérieur probabilistes? Plus précisément, existe-t-il un modèle de domaine de -calculus pur non typé étendu par une opération de choix binaire aléatoire symétrique.λλ\lambda Motivation Les catégories fermées cartésiennes fournissent une sémantique aux -calculi d' ordre …

1
Dans la théorie des domaines, à quoi peut servir la structure supplémentaire présente dans les espaces métriques?
Le chapitre de Smyth dans le manuel de logique en informatique et d'autres références décrivent comment les espaces métriques peuvent être utilisés comme domaines. Je comprends que les espaces métriques complets donnent des points fixes uniques mais je ne comprends pas pourquoi les espaces métriques sont importants. J'apprécierais vraiment toute …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.