D. E. RydeheardBooksCategory theory and computer scienceCategory theory and computer scienceApplications of category theory to programming and program specificationComputational category theoryAuthor data: Open Library
