li_etal_2025:
  type: article
  title: Mechanizing Synthetic Tait Computability in Istari
  author:
  - Li, Runming
  - Yao, Yue
  - Harper, Robert
  date: 2026
  page-range: 231-247
  url: https://arxiv.org/abs/2509.11418
  serial-number:
    doi: 10.1145/3779031.3779085
  parent:
    type: proceedings
    title: CPP