TY  - RPRT
TI  - A sound pure type system with ranks as sorts and Type-in-Type
AU  - Pavel Sokolov
AU  - Alexander Kuklev
PY  - 2026
UR  - https://arxiv.org/abs/2610.25085
ID  - 2610.25085
ER  -