TY  - BOOK
AU  - Rydeheard, D.E
AU  - Burstall, R.M
TI  - Computational category theory
KW  - Computation
KW  - Category Theory
N1  - D6,8(B) M811
ER  -