«domain-theory» etiketlenmiş sorular

Şu anda, en popüler dillerde gerçeklerin hesaplanması hala kayan nokta işlemleri ile yapılmaktadır. Öte yandan, ikinci tip etkililik (TTE) ve alan teorisi gibi teoriler uzun zamandır gerçeklerin kesin hesaplanmasını vaat etmişlerdir. Açıkça, kayan nokta hassasiyeti sorunu alaka açısından azalmadı, bu yüzden bu teoriler neden daha ana akım haline gelmedi ve …

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

Aşağıdaki makale kamuya açık mı? Dana Scott, 1969, Yüksek tip hesaplanabilir fonksiyonlar teorisi . Yayımlanmamış seminer notları, 7 sayfa, Oxford Üniversitesi. Bu yazının bölüm 8.1.2, Set olarak türler , Cardone ve Hindley, 2006 Lambda hesabı ve Kombinasyon Mantığı Tarihi ; ayrıca Bölüm 10.1, Alan teorisi , bazı önemli düzen-teorik içgörüleri …

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

Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b 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 

Sürekli Kafeslerde ve Alanlarda "cebirsel poset" tanımı, Tanım I-4.2, tüm ,x ∈ Lx∈Lx \in L grubu , yönlendirilmiş bir dizi olmalı veA ( x ) = ↓ x ∩ K( L )bir(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) .x = ⨆ ( ↓ x ∩ K( L )x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} …

12 domain-theory 

\newcommand{\symp}{\Bumpeq} X kümesindeki bir tutarlılık ilişkisi \ symp_X dönüşlü ve simetrik bir ilişkidir. Tutarlılık boşluğu bir çifttir (X, \ symp_X) ve tutarlılık boşlukları arasındaki f: X \ ila Y biçimbirliği , f \ alt-X X çarpı Y ilişkisidir, öyle ki f ve (x içindeki tüm (x, y) \ için ', …

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

Eşdeğer olarak, olasılıklı üst düzey fonksiyonel programlama dilleri için bilinen bir anlamsal anlambilim var mı? Özellikle, simetrik rastgele ikili seçim işlemi ile genişletilen saf türlenmemiş hesabı etki alanı modeli vardır .λλ\lambda Motivasyon Kartezyen kapalı kategoriler yüksek dereceli -calculi için bir anlambilim sağlar . Olasılıksal güç alanları stokastik programlara anlambilim sağlar. …

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

Smyth'in bilgisayar bilimi mantığı el kitabındaki bölümü ve diğer referanslar, metrik uzayların alan olarak nasıl kullanılabileceğini açıklar. Tam metrik uzayların benzersiz sabit noktalar verdiğini anlıyorum, ancak metrik uzayların neden önemli olduğunu anlamıyorum. Aşağıdaki sorularla ilgili düşünceleri gerçekten takdir ediyorum. Anlambilimde (ultra / yarı / sözde) metrik uzayların kullanımına iyi örnekler …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Alan teorik kategorileri (CPO ve CPO diyelim) ile uğraşırken , sıklıkla alan teorisinde kategori teorisi dili için bir sözlük isterim.ωω\omega Yani, bir kavram verildiğinde, monik ok, sözlüğe bakabilir ve farklı etki alanı kategorilerinde bilinen karakterizasyonlarını görebilirim. Bu dileğin umulmayacak kadar çok olduğunu biliyorum, ama ona yaklaşan herhangi bir metin veya …

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