@misc{indiciaecab174530f3b,
  title = {A Type Theory for Defining Logics and Proofs},
  author = {Brigitte Pientka and David Thibodeau and Andreas Abel and Francisco Ferreira and Rebecca Zucchini},
  year = {2019},
  url = {https://arxiv.org/abs/1905.02617},
  note = {Source identifier: 1905.02617}
}