Characterizing complexity classes with categorical logicDate: December 12, 2023Presentation during the complexity days SlidesShare on Twitter Facebook LinkedIn Previous Next