Pertanyaan yang diberi tag domain-theory

14
Apakah eta-equivalence untuk fungsi-fungsi yang kompatibel dengan operasi seq Haskell?

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 :: a -> b...

12
Apakah ini kondisi yang setara untuk poset aljabar?

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...