Categories in computer science
General
Categories
Departments
Personal home pages


General
Categorical logic in computer science


Departments
Genova
Sydney


Personal home pages
Daniela Archieri in Genova
Andrea Asperti in Bologna
Gianna Bellè in Genova
Eugenio Moggi in Genova
Giuseppe Rosolini in Genova
Robert Walters in Sydney