Yoshihiro Maruyama. Categorical Harmony and Paradoxes in Proof-Theoretic Semantics. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 95-114, Springer, 2016. [doi]
Abstract is missing.