Publications

Until this page is better developed you can get some idea of some
of the work we do by looking at the following publications, most (but not
all) of which relate to computational category theory and what we seek to do
with the tools these projects are developing.