@misc{indiciae2280b74723a0,
  title = {Towards Gradually Typed Capabilities in the Pi-Calculus},
  author = {Matteo Cimini},
  year = {2019},
  doi = {10.4204/eptcs.304.5},
  url = {https://arxiv.org/abs/1909.05971},
  note = {Source identifier: 1909.05971}
}