@misc{indiciaeca7ed477462b,
  title = {A formalization of System I with type Top in Agda},
  author = {Agustín Séttimo and Cristian Sottile and Cecilia Manzino},
  year = {2026},
  url = {https://arxiv.org/abs/2603.23652},
  note = {Source identifier: 2603.23652}
}