@misc{indiciaeba36245527a5,
  title = {A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs},
  author = {Guillaume Allais and Robert Atkey and James Chapman and Conor McBride and James McKinna},
  year = {2021},
  url = {https://arxiv.org/abs/2001.11001},
  note = {Source identifier: 2001.11001}
}