Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment).

Simon Castellan, Nobuko Yoshida

Browse the full FOSSACS paper archive.