Topology and category theory in computer science - Reed, George M.; Roscoe, A. W.; Wachter, R. F. (Oxford : Clarendon, 1991)
Keywords: Categories (Mathematics); Computer science -- -- Mathematics; Topology