@misc{indiciae6a39ff651087,
  title = {Higher-order Context-free Session Types in System F},
  author = {Diana Costa and Andreia Mordido and Diogo Poças and Vasco T. Vasconcelos},
  year = {2022},
  doi = {10.4204/eptcs.356.3},
  url = {https://arxiv.org/abs/2203.12877},
  note = {Source identifier: 2203.12877}
}