Power domains

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Stable Power Domains

In the category of stable dcpo's, free constructions w.r.t. algebraic theories exist. From this, we obtain various stable power domain constructions. After handling their properties in general, we concentrate on the stable Plotkin power construction. For continuous ground domains, it is explicitly described in terms of saturated compact sets. In case of algebraic ground domains, this descriptio...

متن کامل

Characterising FS domains by means of power domains

We present two characterisations of FS domains, using the upper and the lower power domain construction, respectively. These characterisations have a common structure and thus can be generalised from the two power constructions to arbitrary premonads. The resulting classes of domains are considered in general, and some special instances are studied in greater detail. They form classes of domain...

متن کامل

The Power of Locality Domains in Phonology∗

Domains play an integral role in linguistic theories. This paper combines locality domains with current work on the computational complexity of phonology. The first result is that if a specific formalism — Strictly Piecewise (SP) grammars — is supplemented with a mechanism to enforce first-order definable domain restrictions, its power increases so much that it subsumes almost the full hierarch...

متن کامل

Power Domains and Iterated Function Systems

We introduce the notion of weakly hyperbolic iterated function system (IFS) on a compact metric space, which generalises that of hyperbolic IFS. Based on a domain-theoretic model, which uses the Plotkin power domain and the probabilistic power domain respectively, we prove the existence and uniqueness of the attractor of a weakly hyperbolic IFS and the invariant measure of a weakly hyperbolic I...

متن کامل

Power Domains and Second-Order Predicates

Lower, upper, sandwich, mixed, and convex power domains are isomorphic to domains of second order predicates mapping predicates on the ground domain to logical values in a semiring. The various power domains diier in the nature of the underlying semiring logic and in logical constraints on the second order predicates.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Computer and System Sciences

سال: 1978

ISSN: 0022-0000

DOI: 10.1016/0022-0000(78)90048-x