chan-2025-internalizing:
  type: misc
  title: Internalizing Extensions in Lattices of Type Theories
  author: Chan, Jonathan
  date: 2025-10
  serial-number:
    arxiv: '2510.26839'