Interpolation in Linear Logic and Related Systems

Wesley Fussner, Simon Santschi. Interpolation in Linear Logic and Related Systems. ACM Trans. Comput. Log., 25(4):1-19, 2024. [doi]

Abstract

Abstract is missing.