Uniform Interpolation via Nested Sequents.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Browse the full WoLLIC paper archive.