@misc{chan-2025-internalizing,
  author = {Jonathan Chan},
  title = {Internalizing Extensions in Lattices of Type Theories},
  year = {2025},
  month = {10},
  eprint = {2510.26839},
  archiveprefix = {arXiv}
}