References & Citations
Computer Science > Programming Languages
Title: Domain Theory: An Introduction
(Submitted on 19 May 2016 (v1), last revised 14 Jun 2016 (this version, v4))
Abstract: This monograph is an ongoing revision of "Lectures On A Mathematical Theory of Computation" by Dana Scott. Scott's monograph uses a formulation of domains called neighborhood systems in which finite elements are selected subsets of a master set of objects called "tokens". Since tokens have little intuitive significance, Scott has discarded neighborhood systems in favor of an equivalent formulation of domains called information systems. Unfortunately, he has not rewritten his monograph to reflect this change.
We have rewritten Scott's monograph in terms of finitary bases instead of information systems. A finitary basis is an information system that is closed under least upper bounds on finite consistent subsets. This convention ensures that every finite answer is represented by a single basis object instead of a set of objects.
Submission history
From: Moez AbdelGawad [view email][v1] Thu, 19 May 2016 09:06:01 GMT (53kb,D)
[v2] Mon, 23 May 2016 12:21:17 GMT (54kb,D)
[v3] Thu, 26 May 2016 14:28:34 GMT (55kb,D)
[v4] Tue, 14 Jun 2016 06:36:36 GMT (55kb,D)
Link back to: arXiv, form interface, contact.