@misc{indiciae3998203c81ea,
  title = {Relative induction principles for type theories},
  author = {Rafaël Bocquet and Ambrus Kaposi and Christian Sattler},
  year = {2021},
  url = {https://arxiv.org/abs/2102.11649},
  note = {Source identifier: 2102.11649}
}