Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science)

Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版/ページ数 349 p.
  • 言語 ENG
  • 商品コード 9780521383448
  • DDC分類 511.3

Table of Contents

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.