D. E. Rydeheard

Identifiers

Open LibraryOL1121184A

Top Subjects

Categories (Mathematics) (1)
Computer programming (1)
Computer programming. (1)
Categories (Mathematics) -- Data processing. (1)

Books by D. E. Rydeheard

Total count: 3

Applications of category theory to programming and program specification

University of Edinburgh, Dept. of Computer Science1981-01-01
Computational category theory

Prentice Hall1988-01-01
Category Theory and Computer ScienceManchester, Uk, September 5-8, 1989 Proceedings (Lecture Notes in Computer Science)

Springer1989-10-01