Manchester Logic Seminar: two-dimensional models of linear logicDate: October 11, 2023An invited talk on two-dimensional categorical models of linear logic. The exact talk title is not recorded in the available sources.Share on Twitter Facebook LinkedIn Previous Next