Topology and category theory in computer science - Reed, George M.; Roscoe, A. W.; Wachter, R. F. (Oxford : Clarendon Press ; New York : Oxford University Press, 1991)
"[Papers from] the Oxford Topology Symposium was held on 27-30 June, 1989"--Pref.
Incluye referencias bibliográficas.
Keywords: Computer science -- Mathematics; Topology; Categories (Mathematics)