TY  - RPRT
TI  - A formalization of System I with type Top in Agda
AU  - Agustín Séttimo
AU  - Cristian Sottile
AU  - Cecilia Manzino
PY  - 2026
UR  - https://arxiv.org/abs/2603.23652
ID  - 2603.23652
ER  -