<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>01430cam a2200325 a 4500</leader>
  <controlfield tag="005">20260817172324.0</controlfield>
  <controlfield tag="008">090714s1995    gw      r     100|0 eng |</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">3540601643</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
    <subfield code="a">.b11525605</subfield>
  </datafield>
  <datafield tag="050" ind1="0" ind2="0">
    <subfield code="a">QA76.9 M35</subfield>
    <subfield code="b">B53 1995</subfield>
  </datafield>
  <datafield tag="245" ind1="0" ind2="0">
    <subfield code="a">Category theory and computer science :</subfield>
    <subfield code="b">6th international conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /</subfield>
    <subfield code="c">David Pitt, David E. Rydeheard and Peter Johnstone, eds.</subfield>
  </datafield>
  <datafield tag="246" ind1="3" ind2="0">
    <subfield code="a">CTCS '95</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">Berlin :</subfield>
    <subfield code="b">Springer,</subfield>
    <subfield code="c">1995</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">252 p.</subfield>
  </datafield>
  <datafield tag="440" ind1=" " ind2="0">
    <subfield code="a">Lecture notes in computer science ;</subfield>
    <subfield code="v">no. 953</subfield>
  </datafield>
  <datafield tag="500" ind1=" " ind2=" ">
    <subfield code="a">Presented at the sixth meeting of the Biennial Conference on Category Theory Computer Science (CTCS) held in Cambridge, 7th-11th August, 1995</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Electronic digital computers</subfield>
    <subfield code="x">Programming</subfield>
    <subfield code="v">Congresses</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Categories (Mathematics)</subfield>
    <subfield code="v">Congresses</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Pitt, David</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Rydeheard, David E.</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Johnstone, Peter</subfield>
  </datafield>
  <datafield tag="711" ind1="2" ind2=" ">
    <subfield code="a">International Conference on Category Theory and Computer Science</subfield>
    <subfield code="n">(6th :</subfield>
    <subfield code="d">(1995 :</subfield>
    <subfield code="c">Cambridge, UK)</subfield>
  </datafield>
  <datafield tag="907" ind1=" " ind2=" ">
    <subfield code="a">.b11525605</subfield>
    <subfield code="b">mngc </subfield>
    <subfield code="c">-</subfield>
  </datafield>
  <datafield tag="902" ind1=" " ind2=" ">
    <subfield code="a">121030</subfield>
  </datafield>
  <datafield tag="998" ind1=" " ind2=" ">
    <subfield code="b">0</subfield>
    <subfield code="c">960718</subfield>
    <subfield code="d">m</subfield>
    <subfield code="e">a  </subfield>
    <subfield code="f">-</subfield>
    <subfield code="g">0</subfield>
  </datafield>
  <datafield tag="945" ind1=" " ind2=" ">
    <subfield code="l">mngc </subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">14</subfield>
  </datafield>
  <datafield tag="909" ind1=" " ind2=" ">
    <subfield code="a">Barcode : 30050004032966</subfield>
    <subfield code="b">CREATED : 1996-07-18</subfield>
    <subfield code="c">RECORD # : i11805687</subfield>
    <subfield code="d">LPATRON : 0</subfield>
    <subfield code="e">LCHKIN : -</subfield>
    <subfield code="f"># RENEWALS : 0</subfield>
    <subfield code="g"># OVERDUE : 0</subfield>
    <subfield code="h">IUSE3 : 0</subfield>
    <subfield code="i">TOT CHKOUT : 0</subfield>
    <subfield code="j">TOT RENEW : 0</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="c">15665</subfield>
    <subfield code="d">15665</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">MAIN</subfield>
    <subfield code="b">MAIN</subfield>
    <subfield code="c">mngc</subfield>
    <subfield code="d">2026-08-17</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">QA76.9 M35 B53 1995</subfield>
    <subfield code="p">30050004032966</subfield>
    <subfield code="r">2026-08-17 17:23:24</subfield>
    <subfield code="t">1</subfield>
    <subfield code="w">2026-08-17</subfield>
    <subfield code="y">14</subfield>
  </datafield>
</record>
