TY - GEN AU - Reed, G.M AU - Roscoe, A.W AU - Wachter, R.F TI - Topology and category theory in computer science SN - 0198537603 U1 - 001.64 PY - 1991/// CY - Oxford PB - Oxford U.P. KW - COMPUTER SCIENCE ER -