Applications of category theory to programming and program specification
By: DavidEric Rydeheard.
Publisher: University of Edinburgh, Dept. of Computer Science
Published: 1981
Place of publication: Edinburgh, U.K
Language: eng
Number of pages: 230
Subjects: Categories (Mathematics); Programming (Electronic computers)
Notes: Degree awarded in 1982.

Thesis (Ph. D.)--University of Edinburgh, 1981.

Bibliography: p. 225-230.