author : Andrea Asperti

Books

• Categories, Types and Structures: an introduction to category theory for the working computer scientist. 1991, with Giuseppe Longo