Category Theory for Computing (1990)

by Wells
Venue:Science, Prentice-Hall International Series in Computer Science. Prentice-Hall International