Topology and Category Theory in Computer Science

G. M. Reed

ISBN 10: 0198537603 / ISBN 13: 9780198537601

Published by Oxford University Press, GB, 1991

About this Item

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 these topics 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 solutions and 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.

Seller Inventory # LU-9780198537601

Bibliographic Details

• Title: Topology and Category Theory in Computer Science
• Publisher: Oxford University Press, GB
• Publication Date: 1991
• Language: English
• ISBN 10: 0198537603
• ISBN 13: 9780198537601
• Binding: Hardback
• Condition: New
• Dimensions: 23.4W x 15.6H x 2.38D centimeters 23.4 centimeters width by 15.6 centimeters height by 2.38 centimeters depth
• Weight: 811 grams

About this title

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.

About the Author

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.