Characterizing complexity classes with categorical logic

Date:

Presentation during the complexity days Slides