2,589 followers
Open Access UCL Research: Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic https://t.co/lNi3P3G2SK
Open Access UCL Research: Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic https://t.co/lNi3P3G2SK