Category theory using Haskell : an introduction with Moggi and Yoneda

• Material Type: 図書
• ISBN: 9783031685378 hardcover; 3031685377 hardcover
• ISBN (error code): 9783031685385 electronic book
• Title: Category theory using Haskell : an introduction with Moggi and Yoneda
• Author/Editor: Shuichi Yukita
• Series Title: Computer science foundations and applied logic
• Author Heading: 雪田, 修一, 1954- ユキタ, シュウイチ, 1954- ( 00195773 )Authorities
• Publication, Distribution, etc.: Cham, Switzerland : Birkhäuser, an imprint of Springer Nature Switzerland (出版)
• Publication Date: [2025]
• Publication Date (W3CDTF): 2025
• Extent: xi, 297 pages
• Other physical details: illustrations
• Size: 25 cm
• Place of Publication (Country Code): CH
• Text Language Code: eng
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Categories (Mathematics); Haskell (Computer program language); Computer science--Mathematics; Catégories (Mathématiques); Haskell (Langage de programmation); Informatique--Mathématiques
• LCC: QA76.9.M35
• DDC: 004.01/51
• NDLC: MA67
• Target Audience: 一般
• Note (Bibliography): Includes bibliographical references and index
• Collection (particular): 日本関係外国語図書
• Holding library: 国立国会図書館
• Call No.: MA67-D16
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 033674872; http://id.ndl.go.jp/bib/033674872
• OCLC No.: 1443762008; https://www.worldcat.org/oclc/1443762008
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 211

• Summary, etc.: "This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 195...