000 00939 a2200265 4500
005 20170112122539.0
008 170112b xxu||||| |||| 00| 0 eng d
020 _a0821851004
040 _cIITK
041 _aeng
082 _a004.015
_bAm35c
111 _aAMS-IMS-SIAM Joint Summer Research Conference on Categories in Computer Science and Logic
_cBoulder
_dJune 14-20, 1987
245 1 _aCategories in computer science and logic
_cedited by John W. Gray and Andrej Scedrov
_bproceedings...
260 _bAmerican Mathematical Society
_c1989
_aProvidence
300 _ax, 382p.
440 _aContemporary Mathematics
440 _av.92
500 _aIncludes Bibliography.
650 _aElectronic Data Processing -- Mathematics -- Cong
650 _aCategories (Mathematics) -- Cong
700 _a Gray, John W. [ed.]
700 _aScedrov, Andrej [ed.]
710 _aNational Science Foundation (U.S.)
942 _cBK
999 _c470909
_d470909