@misc{indiciae3448b1084ee4,
  title = {Duality of Session Types: The Final Cut},
  author = {Simon J. Gay and Peter Thiemann and Vasco T. Vasconcelos},
  year = {2020},
  doi = {10.4204/eptcs.314.3},
  url = {https://arxiv.org/abs/2004.01322},
  note = {Source identifier: 2004.01322}
}