Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer Nature Switzerland
2025
Cham Birkhäuser |
| Ausgabe: | 1st ed. 2025 |
| Schriftenreihe: | Computer Science Foundations and Applied Logic
|
| Schlagworte: | |
| Online-Zugang: | DE-522 DE-634 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-898 DE-859 DE-861 DE-863 DE-862 DE-523 DE-91 DE-384 DE-473 DE-19 DE-355 DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 URL des Erstveröffentlichers |
| Beschreibung: | 1 Online-Ressource (XI, 297 p. 48 illus., 2 illus. in color) |
| ISBN: | 9783031685385 |
| ISSN: | 2731-5762 |
| DOI: | 10.1007/978-3-031-68538-5 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV050117430 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 250113s2025 xx o|||| 00||| eng d | ||
| 020 | |a 9783031685385 |c Online |9 978-3-031-68538-5 | ||
| 024 | 7 | |a 10.1007/978-3-031-68538-5 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783031685385 | ||
| 035 | |a (OCoLC)1492130771 | ||
| 035 | |a (DE-599)BVBBV050117430 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-1050 |a DE-91 |a DE-Aug4 |a DE-898 |a DE-523 |a DE-473 |a DE-862 |a DE-355 |a DE-824 |a DE-863 |a DE-M347 |a DE-634 |a DE-384 |a DE-739 |a DE-29 |a DE-861 |a DE-859 |a DE-522 |a DE-703 |a DE-19 |a DE-20 |a DE-573 |a DE-92 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Yukita, Shuichi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Category Theory Using Haskell |b An Introduction with Moggi and Yoneda |c by Shuichi Yukita |
| 250 | |a 1st ed. 2025 | ||
| 264 | 1 | |a Cham |b Springer Nature Switzerland |c 2025 | |
| 264 | 1 | |a Cham |b Birkhäuser | |
| 300 | |a 1 Online-Ressource (XI, 297 p. 48 illus., 2 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Computer Science Foundations and Applied Logic |x 2731-5762 | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Category Theory, Homological Algebra | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Algebraic Topology | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Algebra, Homological | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Algebraic topology | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-68537-8 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-68539-2 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-68540-8 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-68538-5 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2025 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035454337 | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-522 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-634 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-Aug4 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-1050 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-573 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-M347 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-92 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-898 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-859 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-861 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-863 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-862 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-523 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-91 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-384 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-473 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-19 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-703 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-20 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-706 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-824 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-29 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-68538-5 |l DE-739 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1823676025404391424 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Yukita, Shuichi |
| author_facet | Yukita, Shuichi |
| author_role | aut |
| author_sort | Yukita, Shuichi |
| author_variant | s y sy |
| building | Verbundindex |
| bvnumber | BV050117430 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)9783031685385 (OCoLC)1492130771 (DE-599)BVBBV050117430 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-031-68538-5 |
| edition | 1st ed. 2025 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV050117430</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">250113s2025 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031685385</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-68538-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-68538-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031685385</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1492130771</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV050117430</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Yukita, Shuichi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Category Theory Using Haskell</subfield><subfield code="b">An Introduction with Moggi and Yoneda</subfield><subfield code="c">by Shuichi Yukita</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2025</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Nature Switzerland</subfield><subfield code="c">2025</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Birkhäuser</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 297 p. 48 illus., 2 illus. in color)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Computer Science Foundations and Applied Logic</subfield><subfield code="x">2731-5762</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Category Theory, Homological Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic Topology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Homological</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic topology</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-68537-8</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-68539-2</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-68540-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2025</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035454337</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-522</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-68538-5</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV050117430 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-10T13:09:46Z |
| institution | BVB |
| isbn | 9783031685385 |
| issn | 2731-5762 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035454337 |
| oclc_num | 1492130771 |
| open_access_boolean | |
| owner | DE-706 DE-1050 DE-91 DE-BY-TUM DE-Aug4 DE-898 DE-BY-UBR DE-523 DE-473 DE-BY-UBG DE-862 DE-BY-FWS DE-355 DE-BY-UBR DE-824 DE-863 DE-BY-FWS DE-M347 DE-634 DE-384 DE-739 DE-29 DE-861 DE-859 DE-522 DE-703 DE-19 DE-BY-UBM DE-20 DE-573 DE-92 |
| owner_facet | DE-706 DE-1050 DE-91 DE-BY-TUM DE-Aug4 DE-898 DE-BY-UBR DE-523 DE-473 DE-BY-UBG DE-862 DE-BY-FWS DE-355 DE-BY-UBR DE-824 DE-863 DE-BY-FWS DE-M347 DE-634 DE-384 DE-739 DE-29 DE-861 DE-859 DE-522 DE-703 DE-19 DE-BY-UBM DE-20 DE-573 DE-92 |
| physical | 1 Online-Ressource (XI, 297 p. 48 illus., 2 illus. in color) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2025 |
| publishDate | 2025 |
| publishDateSearch | 2025 |
| publishDateSort | 2025 |
| publisher | Springer Nature Switzerland Birkhäuser |
| record_format | marc |
| series2 | Computer Science Foundations and Applied Logic |
| spelling | Yukita, Shuichi Verfasser aut Category Theory Using Haskell An Introduction with Moggi and Yoneda by Shuichi Yukita 1st ed. 2025 Cham Springer Nature Switzerland 2025 Cham Birkhäuser 1 Online-Ressource (XI, 297 p. 48 illus., 2 illus. in color) txt rdacontent c rdamedia cr rdacarrier Computer Science Foundations and Applied Logic 2731-5762 Computer Science Logic and Foundations of Programming Category Theory, Homological Algebra Programming Techniques Algebraic Topology Computer science Algebra, Homological Computer programming Algebraic topology Erscheint auch als Druck-Ausgabe 978-3-031-68537-8 Erscheint auch als Druck-Ausgabe 978-3-031-68539-2 Erscheint auch als Druck-Ausgabe 978-3-031-68540-8 https://doi.org/10.1007/978-3-031-68538-5 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Yukita, Shuichi Category Theory Using Haskell An Introduction with Moggi and Yoneda Computer Science Logic and Foundations of Programming Category Theory, Homological Algebra Programming Techniques Algebraic Topology Computer science Algebra, Homological Computer programming Algebraic topology |
| title | Category Theory Using Haskell An Introduction with Moggi and Yoneda |
| title_auth | Category Theory Using Haskell An Introduction with Moggi and Yoneda |
| title_exact_search | Category Theory Using Haskell An Introduction with Moggi and Yoneda |
| title_full | Category Theory Using Haskell An Introduction with Moggi and Yoneda by Shuichi Yukita |
| title_fullStr | Category Theory Using Haskell An Introduction with Moggi and Yoneda by Shuichi Yukita |
| title_full_unstemmed | Category Theory Using Haskell An Introduction with Moggi and Yoneda by Shuichi Yukita |
| title_short | Category Theory Using Haskell |
| title_sort | category theory using haskell an introduction with moggi and yoneda |
| title_sub | An Introduction with Moggi and Yoneda |
| topic | Computer Science Logic and Foundations of Programming Category Theory, Homological Algebra Programming Techniques Algebraic Topology Computer science Algebra, Homological Computer programming Algebraic topology |
| topic_facet | Computer Science Logic and Foundations of Programming Category Theory, Homological Algebra Programming Techniques Algebraic Topology Computer science Algebra, Homological Computer programming Algebraic topology |
| url | https://doi.org/10.1007/978-3-031-68538-5 |
| work_keys_str_mv | AT yukitashuichi categorytheoryusinghaskellanintroductionwithmoggiandyoneda |