luo:
  type: misc
  title: Substructural Calculi with Dependent Types
  author: Luo, Zhaohui
  date: 2018
  serial-number:
    doi: 10.29007/qrqp
  note: EasyChair Preprint 421