@article{tan_etal_2025,
 title = {Towards Computational UIP in Cubical Agda},
 author = {Yee-Jian Tan and Andreas Nuyts and Dominique Devriese},
 year = {2025},
 eprint = {2511.21209},
 archiveprefix = {arXiv},
 url = {https://arxiv.org/abs/2511.21209}
}