Запитання з тегом «domain-theory»

3
Розрахунок дій: плаваюча точка проти ТТЕ проти теорії домену проти тощо
В даний час обчислення дій в більшості популярних мов все ще проводиться за допомогою операцій з плаваючою комою. З іншого боку, такі теорії, як ефективність другого типу (TTE) та теорія доменів, давно обіцяли точне обчислення реальних результатів. Зрозуміло, що проблема точності плаваючої крапки не зменшилась у актуальності, то чому б …

1
Шукаю оригінальну папір LCF від Скотта
Чи доступний наступний рукопис у публічному доступі? Дана Скотт, 1969, Теорія обчислюваних функцій вищого типу . Неопубліковані конспекти семінару, 7 сторінок, Оксфордський університет. Цей документ обговорюється в розділі 8.1.2, Типи як набори , у Cardone & Hindley, 2006 р. Історія обчислення лямбда та комбінаційної логіки ; Крім того, розділ 10.1 …

4
Чи сумісна ета-еквівалентність функцій з послідовною операцією Haskell?
Лема: якщо припустити, що у нас є ета-еквівалентність (\x -> ⊥) = ⊥ :: A -> B. Доведення: ⊥ = (\x -> ⊥ x)ета-еквівалентністю та (\x -> ⊥ x) = (\x -> ⊥)зменшенням під лямбда. Звіт Haskell 2010, розділ 6.2, визначає seqфункцію двома рівняннями: seq :: a -> b -> …

1
Це рівнозначна умова для алгебраїчних постів?
Визначення "алгебраїчної групи" в неперервних гратах і областях , визначення I-4.2, говорить про те, що для всіх ,x ∈ Lx∈Lx \in L множина повинна бути направленою множиною, іA ( x ) = ↓ x ∩ K( L )A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) .x = ⨆ ( ↓ x ∩ …

1
Коли у місцях узгодженості виникають відхилення та віджимання?
\newcommand{\symp}{\Bumpeq} Коефіцієнт узгодженості \ symp_X≎X≎X\symp_X на множині XXX - це рефлексивне та симетричне відношення. Простір когерентності - пара (X,≎X)(X,≎X)(X, \symp_X) , а морфізм f:X→Yf:X→Yf : X \to Y між когерентними просторами є відношенням f⊆X×Yf⊆X×Yf \subseteq X \times Y так, що для всіх (x,y)∈f(x,y)∈f(x,y) \in f і (x′,y′)∈f(x′,y′)∈f(x',y') \in f , …

3
Чи є якийсь відомий CCC закритий під час вірогідної операції з владним доменом?
Чи рівно, чи відома денотаційна семантика для ймовірнісних мов програмування вищого порядку? Зокрема, чи існує доменна модель чистого нетипізованого -calculus, розширена симетричною операцією випадкового бінарного вибору.λλ\lambda Мотивація Декартові закриті категорії надають семантику вищому порядку -calculi. Імовірнісні силовідомени надають семантику стохастичним програмам. CCC, закритий під імовірною операцією powerdomain, надав би семантику …

1
Для теорії доменів для чого можна використовувати додаткову структуру, присутню в метричних просторах?
Розділ Сміта у посібнику з логіки з інформатики та інші посилання описують, як метричні простори можна використовувати як домени. Я розумію, що повні метричні простори дають унікальні фіксовані точки, але я не розумію, чому метричні простори важливі. Я дуже вдячний за будь-які думки з наступних питань. Які хороші приклади використання …

3
Що таке хороший словник Теорія доменних категорій?
Маючи справу з теоретичними категоріями доменів (скажімо, CPO і CPO), я часто бажаю словника мови теорії категорій в теорії домену.ωω\omega Тобто, з огляду на поняття, скажімо, монічна стрілка, я міг би переглянути його у словнику та побачити, які відомі його характеристики у різних категоріях доменів. Я усвідомлюю, що цього бажання …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.