Viggo Stoltenberg-Hansen, Ingrid Lindstrom, Edward R. Griffor

Mathematical Theory of Domains

• Broschiertes Buch

Produktbeschreibung

Introductory textbook/general reference in domain theory for professionals in computer science and logic.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 364
• Erscheinungstermin: 23. Februar 2008
• Englisch
• Abmessung: 244mm x 170mm x 20mm
• Gewicht: 628g
• ISBN-13: 9780521064798
• ISBN-10: 0521064791
• Artikelnr.: 23556630

Inhaltsangabe

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.