bookmark

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist

ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf

Please log in to take part in the discussion (add own reviews or comments).