@misc{indiciaef02d6af96370,
  title = {A Note on Generalized Algebraic Theories and Categories with Families},
  author = {Marc Bezem and Thierry Coquand and Peter Dybjer and Martín Escardó},
  year = {2021},
  url = {https://arxiv.org/abs/2012.08370},
  note = {Source identifier: 2012.08370}
}