Skip to content

Details

Following a successful series of introductory lectures on category theory, the group will be returning to a study of the categorical query language (intro lecture) and an application of category theory - a lecture on the mmadt project (https://www.computing.co.uk/analysis/4015945/database-rule).

Members are also interested in