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

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framew

This unique book on modern topology looks well beyond traditional treatises and explores spaces that may, but need not, be Hausdorff. This is essential for doma