@misc{indiciae61c93fbed0ad,
  title = {Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus},
  author = {Hongwei Xi and Zhiqiang Ren and Hanwen Wu and William Blair},
  year = {2016},
  url = {https://arxiv.org/abs/1603.03727},
  note = {Source identifier: 1603.03727}
}