Asperti A. Categories, Types, and Structures...Intr.for Computer Scientists 1991
上传时间
2025-03-26 09:10:40 GMT
大小
58.37 MiB (61201730 Bytes)
文件数
1
做种者
22
下载者
0
哈希值
FD8F9F566F42BA2C2ADFEB23B40DDB3A4E718A6B

Textbook in PDF format

Category theory has become a fundamental tool in theoretical computer science, and especially for the meta-theory of programming languages. This book provides a self-contained introduction to the subject, especially meant for students in computer science. The main constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories are presented, and their use is illustrated through several applications to programming language design and semantics, including a detailed investigation of recursive domain equations

Gomagnet 2023.
数据来自Pirate Bay。