D. E. Rydeheard · 4 obras en el catálogoObrasCategory theory and computer scienceCategory theory and computer scienceAApplications of category theory to programming and program sApplications of category theory to programming and program specificationComputational category theory
AApplications of category theory to programming and program sApplications of category theory to programming and program specification