Details for: Asperti A. Categories, Types, and Structures...Intr.for Computer Scientists 1991

Asperti A. Categories, Types, and Structures...Intr.for Computer Scientists 1991

Type:

Other > E-books

Files:

1

Size:

58.37 MiB (61201730 Bytes)

Uploaded:

2025-03-26

By:

andryold1  

Seeders:

8

Leechers:

7

Info Hash:

FD8F9F566F42BA2C2ADFEB23B40DDB3A4E718A6B

Get This Torrent  PLAY/STREAM Movies/TvShows  Download Anonymously

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

Get This Torrent  PLAY/STREAM Movies/TvShows  Download Anonymously

1. Asperti A. Categories, Types, and Structures...Intr.for Computer Scientists 1991.pdf58.37 MiB