Keyword:Multiplicative-additive fragment

Papers
Bottom-up Sequentialization of Unit-Free MALL Proof Nets Rémi Di Guardia and Olivier Laurent EasyChair Preprint no. 8431