@misc{indiciaed7c160f29c7d,
  title = {Generic Description of Well-Scoped, Well-Typed Syntaxes},
  author = {Gergő Érdi},
  year = {2018},
  url = {https://arxiv.org/abs/1804.00119},
  note = {Source identifier: 1804.00119}
}