@misc{PittsAM:welsln,
  author =	 {A. M. Pitts},
  title =	 {Well Scoped Locally Nameless Representation of
                  Syntax},
  year =	 {2026},
  month =	 {may},
  note =	 {ArXiv e-print {arXiv:2605.08990 [cs.LO]} available
                  at \url{https://arxiv.org/abs/2605.08990}}
}