Topology and Category Theory in Computer Science

Front Cover
George M. Reed, A. W. Roscoe, R. Wachter, R. F. Wachter
Clarendon Press, 1991 - Computers - 390 pages
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.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Other editions - View all

About the author (1991)

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.

Bibliographic information