Mathematical theory of domains /
Stoltenberg-Hansen, Viggo.
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, and Edward R. Griffor. - xii, 349 pages : illustrations ; 26 cm. - Cambridge tracts in theoretical computer science ; 22 .
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.
0521383447 (hardback)
94004686
Computer science--Mathematics.
Approximation theory.
Numerical analysis.
QA76.9.M35 / S76 1994
511.3 / S.V.M
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, and Edward R. Griffor. - xii, 349 pages : illustrations ; 26 cm. - Cambridge tracts in theoretical computer science ; 22 .
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.
0521383447 (hardback)
94004686
Computer science--Mathematics.
Approximation theory.
Numerical analysis.
QA76.9.M35 / S76 1994
511.3 / S.V.M