Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic.

Alexander V. Gheorghiu, Tao Gu, David J. Pym

Browse the full TABLEAUX paper archive.