Forthcoming

During the 2024 Fall semester we are running a working group on Categorical Logic