Manchester Logic Seminar
Date:
I was invited to speak about my work on two-dimensional models of linear logic, and I have also contributed a talk on joint work with Calum Hughes on the elementary theory of the $2$-category of small categories.
Date:
I was invited to speak about my work on two-dimensional models of linear logic, and I have also contributed a talk on joint work with Calum Hughes on the elementary theory of the $2$-category of small categories.