Nantilus
Categories, types, and structures : an introduction to category theory for the working computer scientist /
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Publié : |
Cambridge (Mass.) :
MIT Press.
copyright 1991
|
| Collection : | Foundations of computing
|
| Sujets : |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | in00000165288 | ||
| 005 | 20220209104041.0 | ||
| 008 | 891116s1991||||us a###frb 001 0 eng d | ||
| 010 | |a 890490855 | ||
| 020 | |a 0262011255 | ||
| 035 | |a (OCoLC)20755899 | ||
| 035 | |a ocm20755899 | ||
| 035 | |z ocm27685788 | ||
| 035 | |a (PPN)021351961 | ||
| 040 | |a ABES |b fre |e AFNOR | ||
| 041 | 0 | |a eng |2 639-2 | |
| 050 | 4 | |a QA76.7 |b .A76 1991 | |
| 082 | 0 | |a 005.13 |2 20 | |
| 084 | |a D.3. |2 acm | ||
| 100 | 1 | |0 (IdRef)074637932 |1 http://www.idref.fr/074637932/id |a Asperti, Andréa |d (1961-....). |4 aut. |e Auteur | |
| 245 | 1 | 0 | |a Categories, types, and structures : |b an introduction to category theory for the working computer scientist / |c Andrea Asperti, Giuseppe Longo. |
| 264 | 1 | |a Cambridge (Mass.) : |b MIT Press. | |
| 264 | 4 | |c copyright 1991 | |
| 300 | |a 1 vol. (XI-306 p.) : |b ill. ; |c 24 cm. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 337 | |b n |2 isbdmedia | ||
| 338 | |b nga |2 RDAfrCarrier | ||
| 490 | 1 | |a Foundations of computing | |
| 500 | |a L'ouvrage, épuisé, est disponible en ligne sur le site de l'auteur, avec l'autorisation de MIT Press (http://www.di.ens.fr/users/longo/download.html). | ||
| 504 | |a Notes bibliogr. p. [289]-299. Index. | ||
| 650 | 7 | |0 (IdRef)027235912 |1 http://www.idref.fr/027235912/id |a Langages de programmation. |2 ram | |
| 650 | 7 | |0 (IdRef)027339521 |1 http://www.idref.fr/027339521/id |a Catégories (mathématiques). |2 ram | |
| 650 | 0 | |a Programming languages (Electronic computers). |2 lc | |
| 650 | 0 | |a Categories (Mathematics). |2 lc | |
| 700 | 1 | |0 (IdRef)076692493 |1 http://www.idref.fr/076692493/id |a Longo, Giuseppe |d (1947-....; |c chercheur émérite). |4 aut. |e Auteur | |
| 760 | 0 | |t Foundations of computing |w (ABES)013810111 | |
| 886 | 2 | |2 unimarc |a 181 |a i# |b xxxe## | |
| 915 | |5 441092208:639575390 |b 13751 | ||
| 930 | |5 441092208:639575390 |b 441092208 |a 18A43 |j u | ||
| 991 | |5 441092208:639575390 |a exemplaire créé automatiquement par l'ABES | ||
| 999 | f | f | |i a82d795e-5ec7-5bb3-8022-51a6701b4450 |s 83db0f9b-c26f-5941-9f1f-b302e346710c |t 0 |
| 952 | f | f | |p P28-56S Prêt 28 ou 56 jours sans réservation (BA) |a Nantes Université |b Lombarderie |c Bib. CRDM (Mathématiques) |d Bibliothèque |t 0 |e 18A43 |h Locale |i Indéterminé |m 13751 |
Notice dans l'index de recherche
| _version_ | 1814872972722176000 |
|---|---|
| author | Asperti, Andréa (1961-....) Longo, Giuseppe (1947-....; chercheur émérite) |
| author_facet | Asperti, Andréa (1961-....) Longo, Giuseppe (1947-....; chercheur émérite) |
| author_role | aut aut |
| author_sort | Asperti, Andréa (1961-....) |
| author_variant | a a aa g l gl |
| building | Bib. CRDM (Mathématiques) |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 .A76 1991 |
| callnumber-search | QA76.7 .A76 1991 |
| callnumber-sort | QA 276.7 A76 41991 |
| callnumber-subject | QA - Mathematics |
| campus_str_mv | Lombarderie |
| collection | Bibliothèque |
| ctrlnum | (OCoLC)20755899 ocm20755899 (PPN)021351961 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| format | Book |
| fullrecord | {"leader":"00000cam a2200000 i 4500","fields":[{"001":"in00000165288"},{"005":"20220209104041.0"},{"008":"891116s1991||||us a###frb 001 0 eng d"},{"010":{"subfields":[{"a":" 890490855"}],"ind1":" ","ind2":" "}},{"020":{"subfields":[{"a":"0262011255"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"a":"(OCoLC)20755899"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"a":"ocm20755899"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"z":"ocm27685788"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"a":"(PPN)021351961"}],"ind1":" ","ind2":" "}},{"040":{"subfields":[{"a":"ABES"},{"b":"fre"},{"e":"AFNOR"}],"ind1":" ","ind2":" "}},{"041":{"subfields":[{"a":"eng"},{"2":"639-2"}],"ind1":"0","ind2":" "}},{"050":{"subfields":[{"a":"QA76.7"},{"b":".A76 1991"}],"ind1":" ","ind2":"4"}},{"082":{"subfields":[{"a":"005.13"},{"2":"20"}],"ind1":"0","ind2":" "}},{"084":{"subfields":[{"a":"D.3."},{"2":"acm"}],"ind1":" ","ind2":" "}},{"100":{"subfields":[{"0":"(IdRef)074637932"},{"1":"http://www.idref.fr/074637932/id"},{"a":"Asperti, Andréa"},{"d":"(1961-....)."},{"4":"aut."},{"e":"Auteur"}],"ind1":"1","ind2":" "}},{"245":{"subfields":[{"a":"Categories, types, and structures :"},{"b":"an introduction to category theory for the working computer scientist /"},{"c":"Andrea Asperti, Giuseppe Longo."}],"ind1":"1","ind2":"0"}},{"264":{"subfields":[{"a":"Cambridge (Mass.) :"},{"b":"MIT Press."}],"ind1":" ","ind2":"1"}},{"264":{"subfields":[{"c":"copyright 1991"}],"ind1":" ","ind2":"4"}},{"300":{"subfields":[{"a":"1 vol. (XI-306 p.) :"},{"b":"ill. ;"},{"c":"24 cm."}],"ind1":" ","ind2":" "}},{"336":{"subfields":[{"b":"txt"},{"2":"rdacontent"}],"ind1":" ","ind2":" "}},{"337":{"subfields":[{"b":"n"},{"2":"rdamedia"}],"ind1":" ","ind2":" "}},{"337":{"subfields":[{"b":"n"},{"2":"isbdmedia"}],"ind1":" ","ind2":" "}},{"338":{"subfields":[{"b":"nga"},{"2":"RDAfrCarrier"}],"ind1":" ","ind2":" "}},{"490":{"subfields":[{"a":"Foundations of computing"}],"ind1":"1","ind2":" "}},{"500":{"subfields":[{"a":"L'ouvrage, épuisé, est disponible en ligne sur le site de l'auteur, avec l'autorisation de MIT Press (http://www.di.ens.fr/users/longo/download.html)."}],"ind1":" ","ind2":" "}},{"504":{"subfields":[{"a":"Notes bibliogr. p. [289]-299. Index."}],"ind1":" ","ind2":" "}},{"650":{"subfields":[{"0":"(IdRef)027235912"},{"1":"http://www.idref.fr/027235912/id"},{"a":"Langages de programmation."},{"2":"ram"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"0":"(IdRef)027339521"},{"1":"http://www.idref.fr/027339521/id"},{"a":"Catégories (mathématiques)."},{"2":"ram"}],"ind1":" ","ind2":"7"}},{"650":{"subfields":[{"a":"Programming languages (Electronic computers)."},{"2":"lc"}],"ind1":" ","ind2":"0"}},{"650":{"subfields":[{"a":"Categories (Mathematics)."},{"2":"lc"}],"ind1":" ","ind2":"0"}},{"700":{"subfields":[{"0":"(IdRef)076692493"},{"1":"http://www.idref.fr/076692493/id"},{"a":"Longo, Giuseppe"},{"d":"(1947-....; "},{"c":"chercheur émérite)."},{"4":"aut."},{"e":"Auteur"}],"ind1":"1","ind2":" "}},{"760":{"subfields":[{"t":"Foundations of computing"},{"w":"(ABES)013810111"}],"ind1":"0","ind2":" "}},{"886":{"subfields":[{"2":"unimarc"},{"a":"181"},{"a":"i#"},{"b":"xxxe##"}],"ind1":"2","ind2":" "}},{"915":{"subfields":[{"5":"441092208:639575390"},{"b":"13751"}],"ind1":" ","ind2":" "}},{"930":{"subfields":[{"5":"441092208:639575390"},{"b":"441092208"},{"a":"18A43"},{"j":"u"}],"ind1":" ","ind2":" "}},{"991":{"subfields":[{"5":"441092208:639575390"},{"a":"exemplaire créé automatiquement par l'ABES"}],"ind1":" ","ind2":" "}},{"999":{"subfields":[{"i":"a82d795e-5ec7-5bb3-8022-51a6701b4450"},{"s":"83db0f9b-c26f-5941-9f1f-b302e346710c"},{"t":"0"}],"ind1":"f","ind2":"f"}},{"952":{"subfields":[{"p":"P28-56S Prêt 28 ou 56 jours sans réservation (BA)"},{"a":"Nantes Université"},{"b":"Lombarderie"},{"c":"Bib. CRDM (Mathématiques)"},{"d":"Bibliothèque"},{"t":"0"},{"e":"18A43"},{"h":"Locale"},{"i":"Indéterminé"},{"m":"13751"}],"ind1":"f","ind2":"f"}}]}
|
| id | in00000165288 |
| illustrated | Illustrated |
| institution | Nantes Université |
| isbn | 0262011255 |
| language | English |
| lccn | 890490855 |
| oclc_num | 20755899 |
| online_boolean | |
| physical | 1 vol. (XI-306 p.) : ill. ; 24 cm. |
| publishDate | 1991 |
| publisher | MIT Press. |
| record_format | marc |
| series2 | Foundations of computing |
| spelling | (IdRef)074637932 http://www.idref.fr/074637932/id Asperti, Andréa (1961-....). aut. Auteur Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo. Cambridge (Mass.) : MIT Press. copyright 1991 1 vol. (XI-306 p.) : ill. ; 24 cm. txt rdacontent n rdamedia n isbdmedia nga RDAfrCarrier Foundations of computing L'ouvrage, épuisé, est disponible en ligne sur le site de l'auteur, avec l'autorisation de MIT Press (http://www.di.ens.fr/users/longo/download.html). Notes bibliogr. p. [289]-299. Index. (IdRef)027235912 http://www.idref.fr/027235912/id Langages de programmation. ram (IdRef)027339521 http://www.idref.fr/027339521/id Catégories (mathématiques). ram Programming languages (Electronic computers). lc Categories (Mathematics). lc (IdRef)076692493 http://www.idref.fr/076692493/id Longo, Giuseppe (1947-....; chercheur émérite). aut. Auteur Foundations of computing (ABES)013810111 unimarc 181 i# xxxe## |
| spellingShingle | Asperti, Andréa (1961-....) Longo, Giuseppe (1947-....; chercheur émérite) Categories, types, and structures : an introduction to category theory for the working computer scientist / (IdRef)027235912 http://www.idref.fr/027235912/id Langages de programmation. ram (IdRef)027339521 http://www.idref.fr/027339521/id Catégories (mathématiques). ram Programming languages (Electronic computers). lc Categories (Mathematics). lc |
| title | Categories, types, and structures : an introduction to category theory for the working computer scientist / |
| title_auth | Categories, types, and structures : an introduction to category theory for the working computer scientist / |
| title_full | Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo. |
| title_fullStr | Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo. |
| title_full_unstemmed | Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo. |
| title_short | Categories, types, and structures : |
| title_sort | categories types and structures an introduction to category theory for the working computer scientist |
| title_sub | an introduction to category theory for the working computer scientist / |
| topic | (IdRef)027235912 http://www.idref.fr/027235912/id Langages de programmation. ram (IdRef)027339521 http://www.idref.fr/027339521/id Catégories (mathématiques). ram Programming languages (Electronic computers). lc Categories (Mathematics). lc |
| topic_facet | Langages de programmation. Catégories (mathématiques). Programming languages (Electronic computers). Categories (Mathematics). |
| work_keys_str_mv | AT aspertiandrea categoriestypesandstructuresanintroductiontocategorytheoryfortheworkingcomputerscientist AT longogiuseppe categoriestypesandstructuresanintroductiontocategorytheoryfortheworkingcomputerscientist |