000 00885nam a2200289Ia 4500
003 OSt
005 20220912144852.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a73117
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B)0aB2-316, M7
100 _aPITT D H Ed.
111 _aSymposium on category theory and computer science (1987 : Edinburgh U,K)
245 0 _cby PITT D H Ed.; Poigne A Ed.; Rydeheard D E Ed.
_aCategory theory and computer science
260 _aBerlin
_bSpringer-Verlag
_c1987
300 _a300p.
_ccm.
490 _aLecture notes in computer science; 283
650 _aComputer science
700 _a Poigne A Ed.
700 _a Rydeheard D E Ed.
942 _hD65,8(B)0aB2-316, M7
_cTEXL
_2CC
999 _c17751
_d17751