Related Books

Basic Category Theory for Computer Scientists
Language: en
Pages: 117
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: MIT Press

DOWNLOAD EBOOK

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l
Category Theory for Computing Science
Language: en
Pages: 352
Authors: Michael Barr
Categories: Computers
Type: BOOK - Published: 1995 - Publisher:

DOWNLOAD EBOOK

A wide coverage of topics in category theory and computer science is developed in this text, including introductory treatments of cartesian closed categories, s
Category Theory for the Sciences
Language: en
Pages: 495
Authors: David I. Spivak
Categories: Mathematics
Type: BOOK - Published: 2014-10-17 - Publisher: MIT Press

DOWNLOAD EBOOK

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in
Basic Category Theory for Computer Scientists
Language: en
Pages: 126
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 1991-08-07 - Publisher: MIT Press

DOWNLOAD EBOOK

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l
Categories, Types, and Structures
Language: en
Pages: 330
Authors: Andrea Asperti
Categories: Computers
Type: BOOK - Published: 1991 - Publisher: MIT Press (MA)

DOWNLOAD EBOOK

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the des