Record ID | marc_loc_2016/BooksAll.2016.part24.utf8:116165007:1279 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part24.utf8:116165007:1279?format=raw |
LEADER: 01279cam a2200289 a 4500
001 95035672
003 DLC
005 20080308084653.0
008 950719s1995 gw a b 000 0 eng
010 $a 95035672
020 $a3540601643 (alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.B53 1995
082 00 $a005.13/1$220
245 00 $aCategory theory and computer science :$b6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /$cDavid Pitt, David E. Rydeheard, Peter Johnstone, eds.
260 $aBerlin ;$aNew York :$bSpringer,$cc1995.
300 $a252 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v953
500 $a"Sixth meeting of the Biennial Conference on Category Theory and Computer Science (CTVS)"--Pref.
504 $aIncludes bibliographical references.
650 0 $aComputer programming$xCongresses.
650 0 $aCategories (Mathematics)$xCongresses.
700 1 $aPitt, David$q(David H.)
700 1 $aRydeheard, D. E.$q(David E.)
700 1 $aJohnstone, P. T.
711 2 $aBiennial Conference on Category Theory and Computer Science$n(6th :$d1995 :$cCambridge, England)
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/95035672-d.html