@misc{indiciae9e2683b6f38d,
  title = {Multiparty Dependent Session Types (Extended Abstract)},
  author = {Hanwen Wu and Hongwei Xi},
  year = {2018},
  url = {https://arxiv.org/abs/1808.00077},
  note = {Source identifier: 1808.00077}
}