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