Andrea Asperti

Andrea Asperti is Professor in the Department of Computer Science and Engineering at the University of Bologna.

Categories, Types, and Structures

An Introduction to Category Theory for the Working Computer Scientist
Andrea Asperti and Guiseppe Longo 1991
- Hardcover $40.00