Presentations

Some talks

Knotted substructural logics have fast-growing complexity

Logic Colloquium 2024, Gothemburg, Sweden