Logo - springer
Slogan - springer

New & Forthcoming Titles | Semantics Structures in Computation

Semantics Structures in Computation

Semantics Structures in Computation

Series Ed.: Guo-Qiang Zhang

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.