Applications of category theory to programming and program specification
Applications of category theory to programming and program specification1981
Details
- First published
- 1981
- OL Work ID
- OL5093666W
Subjects
Categories (Mathematics)Computer programming