1-2 of 2 Books
Categories, types, and structures
By Andrea Asperti
Category theory and computer science
By