Categories, types, and structures an introduction to category theory for the working computer scientist

SubTitle

an introduction to category theory for the working computer scientist

Author Statement

Andrea Asperti, Giuseppe Longo

Publication

MIT Press

Publication Year

c1991

Collation

xi, 306 p. ill.

Series

Foundations of computing

Notes

Includes bibliographical references (p. [289]-299) and index.

Subject

Programming languages (Electronic computers) , Categories (Mathematics)

ADDED ENTRIES

Longo, G

Main class

005

Sub class

.13

Cutter no

As64c

Link To Document