Topology and category theory in computer science: Topology symposium : Selected papers by Roscoe, A. W., Reed, G. M., Wachter, R. 0 Type: Book
