✦ LIBER ✦

On powerdomains and modality

✍ Scribed by Glynn Winskel

Book ID: 107948520
Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 620 KB
Volume: 36
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(85)90037-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Universality and Powerdomains

✍ K.J. Nüßler 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 840 KB

In this paper we i n vestigate the Plotkin powerdomain under order-theoretical aspects. We answer a problem of G. Plotkin whether any bi nite domain can be embedded (with embedding-projection pairs) into the Plotkin powerdomain of a Scott-domain. Here we obtain counter-examples. There is a 9-element

Powerdomains and zero finding

✍ Keye Martin 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 262 KB

Measuring the probabilistic powerdomain

✍ Keye Martin; Michael Mislove; James Worrell 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 377 KB

In this paper we initiate the study of measurements on the probabilistic powerdomain. We show how measurements on an underlying domain naturally extend to its probabilistic powerdomain, so that the kernel of the extension consists of exactly those normalized measures on the kernel of the measurement

Quasicontinuous Domains and the Smyth Po

Quasicontinuous Domains and the Smyth Powerdomain

✍ Heckmann, Reinhold; Keimel, Klaus 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 289 KB

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

A Powerdomain of Possibility Measures

✍ Michael Huth 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 780 KB

We p r o vide a domain-theoretic framework for possibility theory by studying possibility measures on the lattice of opens O(X) of a topological space X . The powerspaces P 0 1] (X) and P 0 1] (X) o f a l l s u c h maps extend to functors in the natural way. We m a y think of possibility measures as