tan_etal_2025:
  type: article
  title: Towards Computational UIP in Cubical Agda
  author:
  - Tan, Yee-Jian
  - Nuyts, Andreas
  - Devriese, Dominique
  date: 2025
  url: https://arxiv.org/abs/2511.21209
  serial-number:
    arxiv: '2511.21209'
  parent:
    type: periodical