@misc{indiciae752d66cab65d,
  title = {A Complete Bounded Theory with Unbounded Types},
  author = {Hongyu Zhu},
  year = {2026},
  doi = {10.1017/jsl.2026.10208},
  url = {https://arxiv.org/abs/2602.22398},
  note = {Source identifier: 2602.22398}
}