@misc{indiciae281a481ac49e,
  title = {On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings},
  author = {Bernardo Toninho and Nobuko Yoshida},
  year = {2018},
  url = {https://arxiv.org/abs/1711.00878},
  note = {Source identifier: 1711.00878}
}