Semantic Structures in Computation

Book Series
There are 3 volumes in this series
Published 2001 - 2003

About this 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.