About this book series

With the idea of partial information and approximation as the starting point, this bookseries focuses on the interplay among computer science, logic, and mathematics through algebraic, order-theoretic, topological, and categorical means, with the goal of promoting cross-fertilization of ideas and advancing interdisciplinary research.
This bookseries provides a distinctive publication forum for collected works and monographs on topics such as domain theory, programming semantics, types, concurrency, lambda-calculi, topology and logic in computer science, and especially applications in non-traditional and emerging areas in which the development of formal semantics deepens our understanding of a computational phenomenon.
Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.

Book titles in this series

  1. Domain Theory, Logic and Computation

    Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

    Editors:
    • Guo-Qiang Zhang
    • J. Lawson
    • Ying Ming Liu
    • M.K. Luo
    • Copyright: 2003

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  2. Call-By-Push-Value

    A Functional/Imperative Synthesis

    Authors:
    • P.B. Levy
    • Copyright: 2003

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  3. Domains and Processes

    Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

    Editors:
    • Klaus Keimel
    • Guo-Qiang Zhang
    • Ying Ming Liu
    • Yixiang Chen
    • Copyright: 2001

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook