X-2025-05: Iris van der Giessen Interpolation through the lens of proof theory: Lecture notes for Logic Summer School @ANU 2024, Canberra, Australia 1.Full Text, 2.Abstract. < Back