@misc{indiciaeae4b221581e4,
  title = {A sound pure type system with ranks as sorts and Type-in-Type},
  author = {Pavel Sokolov and Alexander Kuklev},
  year = {2026},
  url = {https://arxiv.org/abs/2610.25085},
  note = {Source identifier: 2610.25085}
}