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

by Asperti, Andrea.
Published 1991