Keyword:sequentialization

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