@misc{indiciae938f0eb7bf45,
  title = {Locally Nameless Permutation Types},
  author = {Edsko de Vries and Vasileios Koutavas},
  year = {2017},
  url = {https://arxiv.org/abs/1710.08444},
  note = {Source identifier: 1710.08444}
}