Book

Category theory and computer science

by Eugenio Moggi