Basic category theory for computer scientists
By: Pierce, Benjamin C.
Material type:
BookSeries: Foundations of computing.Publisher: Cambridge: MIT Press, 1991Description: xiii, 100 p.; : 23 cm.ISBN: 0262660717 .Subject(s): Categories (Mathematics) | Computer science -- MathematicsDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 BEN (Browse shelf) | Available | 011797 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 AMA Domains and lambda-calculi | 511.3 APP Alan Turing's systems of logic : the Princeton thesis | 511.3 BEL Higher-order logic and type theory | 511.3 BEN Basic category theory for computer scientists | 511.3 BEN Mathematical logic for computer science | 511.3 BEN Mathematical logic for computer science | 511.3 BEN Moment of Proof |
There are no comments for this item.