Asperti A. Categories, Types, and Structures...Intr.for Computer Scientists 1991
Download this torrent!
Asperti A. Categories, Types, and Structures...Intr.for Computer Scientists 1991
To start this P2P download, you have to install a BitTorrent client like qBittorrent
Category: Other
Total size: 58.37 MB
Added: 2025-03-26 08:24:01
Share ratio:
19 seeders,
2 leechers
Info Hash: FD8F9F566F42BA2C2ADFEB23B40DDB3A4E718A6B
Last updated: 15.9 hours ago
Description:
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