000 00336nam a2200133 4500
008 160616s 000 0
245 _aComputational category theory
100 _aRydeheard, D.E
100 _aBurstall, R.M
500 _aD6,8(B) M811
650 _aComputation
_aCategory Theory
942 _cBK
_2BK6361
080 _a681.3 RYD
999 _c6361
_d6361