alexandruIntrinsicallyCorrectAlgorithms2025-preprint:
  type: article
  title: Intrinsically Correct Algorithms and Recursive Coalgebras
  author:
  - Alexandru, Cass
  - Urbat, Henning
  - Wißmann, Thorsten
  date: 2026
  url: https://arxiv.org/abs/2512.10748
  serial-number:
    arxiv: '2512.10748'
  note: v2
  parent:
    type: periodical