✦ LIBER ✦

Quasicontinuous Domains and the Smyth Powerdomain

✍ Scribed by Heckmann, Reinhold; Keimel, Klaus

Book ID: 122323813
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 289 KB
Volume: 298
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2013.09.015

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Resolution in the Smyth powerdomain

✍ Guo-Qiang Zhang; William C. Rounds 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 28 KB

The purposes of this paper are (i) to give a new, efficient representation of Smyth powerdomains as 0-inhabited information systems, following the style of Scott; (ii) to introduce, as a consequence of this representation, a generalized resolution method for an arbitrary Smyth powerdomain and show t

Partial information systems and the Smyt

Partial information systems and the Smyth powerdomain

✍ James B. Hart 📂 Article 📅 2012 🏛 SP Versita 🌐 English ⚖ 186 KB

Priestley Spaces, Quasi–hyperalgebraic L

Priestley Spaces, Quasi–hyperalgebraic Lattices and Smyth Powerdomains

✍ Jin Bo Yang; Mao Kang Luo 📂 Article 📅 2006 🏛 Institute of Mathematics, Chinese Academy of Scien 🌐 English ⚖ 150 KB

The Equivalence of QRB, QFS, and Compact

The Equivalence of QRB, QFS, and Compactness for Quasicontinuous Domains

✍ Lawson, Jimmie; Xi, Xiaoyong 📂 Article 📅 2014 🏛 Springer Netherlands 🌐 English ⚖ 348 KB

The Hoare and Smyth power domain constru

The Hoare and Smyth power domain constructors commute under composition

✍ Kevin E. Flannery; Johannes J. Martin 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 587 KB

The Laborer and the Bochour and the Smyt

The Laborer and the Bochour and the Smyth

✍ H. N. MacCracken 📂 Article 📅 1913 🏛 John Hopkins University Press ⚖ 221 KB