Applications of category theory to programming and program specification
By: David Eric 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); Computer programming.
Notes: Thesis (Ph. D.)--University of Edinburgh, 1981.

Bibliography: p. 225-230.