@misc{indiciae6495dd4e4d77,
  title = {Intrinsically-Typed Mechanized Semantics for Session Types},
  author = {Peter Thiemann},
  year = {2019},
  url = {https://arxiv.org/abs/1908.02940},
  note = {Source identifier: 1908.02940}
}