TY  - RPRT
TI  - Encoding impredicative hierarchy of type universes with variables
AU  - Yoan Géran
PY  - 2023
UR  - https://arxiv.org/abs/2310.16595
ID  - 2310.16595
ER  -