Category theory using Haskell : an introduction with Moggi and Yoneda

• 資料種別: 図書
• ISBN: 9783031685378 hardcover; 3031685377 hardcover
• ISBN（エラーコード）: 9783031685385 electronic book
• タイトル: Category theory using Haskell : an introduction with Moggi and Yoneda
• 著者・編者: Shuichi Yukita
• シリーズタイトル: Computer science foundations and applied logic
• 著者標目: 雪田, 修一, 1954- ユキタ, シュウイチ, 1954- ( 00195773 )典拠
• 出版事項: Cham, Switzerland : Birkhäuser, an imprint of Springer Nature Switzerland (出版)
• 出版年月日等: [2025]
• 出版年（W3CDTF）: 2025
• 数量: xi, 297 pages
• 形態の詳細: illustrations
• 大きさ: 25 cm
• 出版地（国名コード）: CH
• 本文の言語コード: eng
• 表現種別: text
• 機器種別: unmediated
• キャリア種別: volume
• 件名標目: 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
• 対象利用者: 一般
• 書誌注記: Includes bibliographical references and index
• コレクション（個別）: 日本関係外国語図書
• 所蔵機関: 国立国会図書館
• 請求記号: MA67-D16
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 033674872; http://id.ndl.go.jp/bib/033674872
• OCLC番号: 1443762008; https://www.worldcat.org/oclc/1443762008
• 目録規則: RDA
• 整理区分コード: 211

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