雪田修一(著)/Haskellによる圏論入門
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Computer Science Foundations and Applied Logic
Yukita, Shuichi
- 出版社:Birkhäuser
- 出版年月:2024年 11月
- ISBN:9783031685378
- 装丁:HRD
-
装丁について
- 言語:ENG
- 巻数・ページ数:315 p.
- 分類: 応用数学一般 , プログラミング & OS
- 内容紹介:
-
This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.