| NCID | DA01800341 |
| 名称(HDNG) | Rydeheard, D. E. (David E.) |
| から見よ(SF) | Rydeheard, David E
Rydeheard, David Eric |
| 注記(NOTE) | Category theory and computer science, c1987: CIP t.p. (D.E. Rydeheard) t.p. verso (David E. Rydeheard, The University, Manchester, U.K.)
EDSRC:Applications of category theory to programming and program specification / by David Eric Rydeheard(University of Edinburgh, Department of Computer Science, 1981) |
| LCAID | 87878557 |