Keyword:substructural calculus

Papers
Substructural Calculi with Dependent Types Zhaohui Luo EasyChair Preprint no. 421