author : Giuseppe Longo

Books

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