Alexander V. Gheorghiu Tao Gu 0002 David J. Pym Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. 367-385 2023 TABLEAUX https://doi.org/10.1007/978-3-031-43513-3_20 conf/tableaux/2023 db/conf/tableaux/tableaux2023.html#GheorghiuGP23