EasyChair Smart Slide
Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic
Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic