Logic Colloquium 2024 @ Gothenburg

LC2024_KEN_slides.pdf