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

by A Asperti, G Longo