Company:Department of Mathematical Sciences, NTNULocation:Trondheim, Norway
CAP project -- Categories, Algorithms, and Programming