Pertanyaan yang diberi tag «domain-theory»

Saat ini, perhitungan real dalam sebagian besar bahasa populer masih dilakukan melalui operasi floating point. Di sisi lain, teori-teori seperti tipe dua efektifitas (TTE) dan teori domain telah lama menjanjikan perhitungan real yang tepat. Jelas, masalah presisi floating point tidak berkurang dalam relevansi, jadi mengapa teori-teori ini tidak menjadi lebih …

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

Apakah naskah berikut tersedia untuk umum? Dana Scott, 1969, Sebuah teori fungsi yang dikomputasi dari tipe yang lebih tinggi . Catatan seminar yang tidak diterbitkan, 7 halaman, University of Oxford. Ada diskusi dari makalah ini di bagian 8.1.2, Jenis sebagai set , di Cardone & Hindley, 2006 Sejarah Lambda-calculus dan …

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

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: 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 

Definisi "algebraic poset" dalam Continuous Lattices and Domains , Definisi I-4.2, mengatakan bahwa, untuk semua ,x∈Lx∈Lx \in L set harus merupakan set yang diarahkan, danA(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) . Di sini adalah poset, adalah himpunan elemen kompak dari , dan berarti …

12 domain-theory 

\newcommand{\symp}{\Bumpeq} Relasi koherensi pada set X adalah relasi refleksif dan simetris. Ruang koherensi adalah pasangan (X, \ symp_X) , dan morfisme f: X \ ke Y antara ruang koherensi adalah hubungan f \ subseteq X \ kali Y sedemikian sehingga untuk semua (x, y) \ dalam f dan (x ', …

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

Secara ekuivalen, adakah semantik denotasional yang dikenal untuk bahasa pemrograman fungsional tingkat tinggi probabilistik? Secara khusus, apakah ada model domain murni -kalkulus murni yang diperluas dengan operasi pilihan biner acak simetris.λλ\lambda Motivasi Kategori tertutup Cartesian menyediakan semantik untuk -calculi tingkat tinggi. Powerdomain probabilistik menyediakan semantik untuk program stokastik. A CCC …

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

Bab Smyth dalam buku pegangan logika dalam ilmu komputer dan referensi lain menjelaskan bagaimana ruang metrik dapat digunakan sebagai domain. Saya mengerti bahwa ruang metrik lengkap memberikan titik tetap yang unik, tetapi saya tidak mengerti mengapa ruang metrik penting. Saya sangat menghargai pemikiran tentang pertanyaan-pertanyaan berikut. Apa contoh bagus penggunaan …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Ketika berurusan dengan kategori teori domain (katakanlah CPO dan CPO), saya sering berharap untuk kamus untuk bahasa teori kategori dalam teori domain.ωω\omega Artinya, diberikan konsep, katakan panah monic, saya bisa mencarinya di kamus dan melihat apa karakterisasi yang diketahui dalam kategori domain yang berbeda. Saya menyadari keinginan ini terlalu banyak …

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