EasyChair Smart Slide
Bottom-up Sequentialization of Unit-Free MALL Proof Nets
Bottom-up Sequentialization of Unit-Free MALL Proof Nets