Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Main library A8 | 511.3 S.V.M (Browse shelf(Opens below)) | Available | 00006203 |
Includes bibliographical references (p. [332]-338) and indexes.
Preliminaries; Part I. Basic Theory: 1. Fixed points; 2. Complete partial orders; 3. Domains; 4. Domain equations; 5. Topology; 6. Representation theory; 7. A universal domain; Part II. Special Topics: 8. Representability in domains; 9. Basic recursion theory; 10. Effective domains; 11. Power domains; 12. Domains as models of formal theories; References; Index of symbols; Index.
There are no comments on this title.