Topology and Category Theory in Computer Science by G. M. ReedTopology and Category Theory in Computer Science by G. M. Reed

Topology and Category Theory in Computer Science

EditorG. M. Reed, A. W. Roscoe, R. F. Wachter

Hardcover | April 30, 1999

Pricing and Purchase Info

$123.00 online 
$171.00 list price save 28%
Earn 615 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


The Oxford Topology Symposium was held in June 1989. Since techniques from topology and category theory have been used increasingly by theoretical computer scientists in recent years, it was decided to hold a special session at the symposium which would be devoted to the application of thesetopics in computer science. By holding this session in the context of the topology symposium, the organisers hoped to achieve a cross-fertilization between the communities they brought together - giving one a course of new problems with a more practical flavour, and the other a source of solutionsand ideas. The session itself proved successful, attracting a large audience of mathematicians as well as computer scientists. The organizing committee decided to produce two separate proceedings for the conference. All those who had presented papers, plus a very few others, were invited to submit papers for these proceedings of the special session on topology and category theory in computer science.
G.M. Reed and A. W. Roscoe are both at the Oxford University Computing Laboratory, Programming Research Group. R.F. Wachter is in the United States Office of Naval Research, Arlington Virginia.
Title:Topology and Category Theory in Computer ScienceFormat:HardcoverDimensions:402 pages, 9.21 × 6.14 × 1.14 inPublished:April 30, 1999Publisher:Oxford University Press

The following ISBNs are associated with this title:

ISBN - 10:0198537603

ISBN - 13:9780198537601

Look for similar items by category:


Editorial Reviews

`beautifully printed book'David B. Benson, Computing Reviews, September 1994