Categories, Types and Structures. An introduction to Category Theory for the working computer scientist (1991)

by A Asperti, G Longo