@misc{PittsAM:welsln,
  author =	 {A. M. Pitts},
  title =	 {Setoids in Intensional Type Theory},
  year =	 {2026},
  month =	 {jul},
  note =	 {ArXiv e-print {arXiv:2607.23671 [cs.LO]} available
                  at \url{https://arxiv.org/abs/2607.23671}}
}