Topology and category theory in computer science by Roscoe, A. W., Reed, George William, Wachter, Ralph Franklin 0 Type: Book
