@misc{indiciaee53ee6278aab,
  title = {Nested Session Types},
  author = {Ankush Das and Henry DeYoung and Andreia Mordido and Frank Pfenning},
  year = {2020},
  url = {https://arxiv.org/abs/2010.06482},
  note = {Source identifier: 2010.06482}
}