Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area. An extensive index and bibliography make this an ideal sourcebook for all those working in domain theory.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Editorial Reviews
Review
"Although a number of books treating various aspects of domains and continuous lattices have appeared since 1980, none are as up to date and comprehensive as this book. It is and will remain the best resource on continuous lattices, domains, applications, and the vast literature on these topics." Mathematical Reviews
Book Description
Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. This authoritative and comprehensive account of the subject will be an essential handbook for all those working in the area. An extensive index and bibliography make this an ideal sourcebook for all those working in domain theory.
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
This introductory chapter serves as a convenient source of reference for certain basic aspects of complete lattices needed in what follows. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
quasicontinuous domain, small semilattices, compact pospace, filtered infs, compact saturated sets, closed lower sets, eventual lower bounds, topological semilattice, bounded complete domain, complete continuous semilattice, liminf convergence, open upper sets, strong interpolation property, compact semilattices, order generating subset, maximal strict chains, stably compact space, nonempty infs, approximating auxiliary relation, meet continuous semilattice, order consistent topology, rounded ideal completion, continuous semilattices, open lower sets, directed supremum Key Phrases - Capitalized Phrases (CAPs): (learn more)
Exercises Exercise, Fundamental Theorem, Hofmann-Mislove Theorem, Rudin's Lemma, Mac Lane, Urysohn's Lemma, Splitting Lemma, Hausdorff Lawson, Zorn's Lemma, Dana Scott, Min-Cut Theorem New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
This introductory chapter serves as a convenient source of reference for certain basic aspects of complete lattices needed in what follows. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
quasicontinuous domain, small semilattices, compact pospace, filtered infs, compact saturated sets, closed lower sets, eventual lower bounds, topological semilattice, bounded complete domain, complete continuous semilattice, liminf convergence, open upper sets, strong interpolation property, compact semilattices, order generating subset, maximal strict chains, stably compact space, nonempty infs, approximating auxiliary relation, meet continuous semilattice, order consistent topology, rounded ideal completion, continuous semilattices, open lower sets, directed supremum Key Phrases - Capitalized Phrases (CAPs): (learn more)
Exercises Exercise, Fundamental Theorem, Hofmann-Mislove Theorem, Rudin's Lemma, Mac Lane, Urysohn's Lemma, Splitting Lemma, Hausdorff Lawson, Zorn's Lemma, Dana Scott, Min-Cut Theorem New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 29
books:
See all 29 books this book cites
16
books
cite this book:
See all 16 books citing this book
- Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science) by David H. Pitt on 4 pages
- A Compendium of continuous lattices in Front Matter (1), Front Matter (2), and Back Matter
- Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science) by V. Stoltenberg-Hansen in Front Matter, and Back Matter
- Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings (Lecture Notes in Computer Science) by Stephen Brookes in Back Matter (1), and Back Matter (2)
- Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series) by M. P. Fourman in Back Matter (1), and Back Matter (2)
See all 29 books this book cites
- Dynamic Data Assimilation: A Least Squares Approach (Encyclopedia of Mathematics and its Applications) by John M. Lewis in Front Matter
- Contact Geometry and Nonlinear Differential Equations (Encyclopedia of Mathematics and its Applications) by Alexei Kushner in Front Matter
- Basic Hypergeometric Series (Encyclopedia of Mathematics and its Applications) by George Gasper in Front Matter
- The Mountain Pass Theorem: Variants, Generalizations and Some Applications (Encyclopedia of Mathematics and its Applications) by Youssef Jabri in Front Matter
- Classical and Quantum Orthogonal Polynomials in One Variable (Encyclopedia of Mathematics and its Applications) by Mourad E. H. Ismail in Front Matter
See all 16 books citing this book
Books on Related Topics
(learn more)
|
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
