Categories, Types and Structures. An introduction to Category Theory for the Working Computer Scientist.

A. Asperti ; Longo, Giuseppe

Foundation of Computing Series, Massachusetts Institute of Technology Press, ISBN 0 262 01125-5, 1991

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:21 CET 2007.