Semantic Structures in Computation

Series Editors:



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.