Ramdan Hours:
Sun - Thu
9.30 AM - 2.30 PM
Iftar in --:--:--
🌙 Maghrib: --:--
Image from Google Jackets

Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, and Edward R. Griffor.

By: Contributor(s): Material type: TextTextSeries: Cambridge tracts in theoretical computer science ; 22Publisher: Cambridge ; New York : Cambridge University Press, 1994Description: xii, 349 pages : illustrations ; 26 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 0521383447 (hardback)
Subject(s): DDC classification:
  • 511.3 20 S.V.M
LOC classification:
  • QA76.9.M35 S76 1994
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Books 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.

to post a comment.