EasyChair Smart Slide
Substructural Calculi with Dependent Types
Substructural Calculi with Dependent Types