Unified Correspondence as a Proof-Theoretic Tool (2015)
(Alessandra Palmigiano, TU Delft, NL)

Click for abstract.
Click for slides.