Yazar
d e rydeheard
4 cilt bulundu.
Cilt sonuçları
Computational category theory
D. E. Rydeheard · Prentice Hall
257 sayfa · 1988
Categories (Mathematics) / Computer programming / Data processing / Computer science, mathematics
Applications of category theory to programming and program specification
D. E. Rydeheard · University of Edinburgh, Dept. of Computer Science
230 sayfa · 1981
Categories (Mathematics) / Computer programming
Category theory and computer science
David Pitt, D. E. Rydeheard · Springer-Verlag
300 sayfa · 1987
Computer programming / Categories (Mathematics) / Congresses
Category theory and computer science
David Pitt, D. E. Rydeheard, P. T. Johnstone · Springer
252 sayfa · 1995
Computer programming / Categories (Mathematics) / Congresses / Electronic digital computers, programming