Topology and Category Theory in Computer Science

. Ed(s): Reed, G. M.; Roscoe, A. W.; Wachter, R. F.

ISBN 10: 0198537603 / ISBN 13: 9780198537601

Published by Clarendon Press, 1991

About this Item

This work consists of a selection of papers from the proceedings of a special session on topology and category theory in computer science, held at The Oxford Topology Symposium in June 1989. The session Editor(s): Reed, G. M.; Roscoe, A. W.; Wachter, R. F. Num Pages: 402 pages, line drawings. BIC Classification: PBC; PBM; PBP; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 29. Weight in Grams: 811. . 1991. New. hardcover. . . . . Books ship from the US and Ireland.

Seller Inventory # V9780198537601

Bibliographic Details

• Title: Topology and Category Theory in Computer Science
• Publisher: Clarendon Press
• Publication Date: 1991
• Language: English
• ISBN 10: 0198537603
• ISBN 13: 9780198537601
• Binding: Hardcover
• Condition: New

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.