@booklet{luo,
 title = {Substructural Calculi with Dependent Types},
 author = {Zhaohui Luo},
 year = {2018},
 doi = {10.29007/qrqp},
 howpublished = {EasyChair Preprint 421}
}