Topology and Category Theory in Computer Science
G. M. Reed (Editor), R. F. Wachter (Editor), A. W. RoscoeBooks.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Overview
This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.
Synopsis
This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.
Booknews
Explores how topology and category theory are applied in theoretical computer science, in 14 papers from a session of the Oxford Topology Symposium, June 1989. The topics are such as the soundness and completeness of axioms for CSP processes, concurrency semantics based on metric domain equations, and order and strongly sober compactifications. The purely topological papers will be published elsewhere. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com)