research
∙
09/08/2022
Apartness relations between propositions
We classify all apartness relations definable in propositional logics ex...
share
research
∙
07/13/2022
Structured Decompositions: Structural and Algorithmic Compositionality
We introduce structured decompositions: category-theoretic generalizatio...
research
∙
04/05/2021
Spined categories: generalizing tree-width beyond graphs
We develop a general theory of categories that admit a functorial invari...
research
∙
07/13/2017