Categories, types, and structures

SubTitle

an introduction to category theory for the working computer scientist

Author Statement

Andrea Asperti, Giuseppe Longo

Publication

MIT Press

Publication Year

c1991

Collation

vii, 282 p. ill.

Series

Foundations of computing

Subject

Programming languages (Electronic computers) , Categories (Mathematics)

ADDED ENTRIES

Longo, G

Main class

005.

Sub class

Cutter no

A839c

ISBN

0262011255

Link To Document