@misc{indiciae5f4aec4f7fe9,
  title = {Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders},
  author = {Ernesto Copello and Nora Szasz and Álvaro Tasistro},
  year = {2018},
  doi = {10.4204/eptcs.274.2},
  url = {https://arxiv.org/abs/1807.01870},
  note = {Source identifier: 1807.01870}
}