@article{alexandruIntrinsicallyCorrectAlgorithms2025-preprint,
 title = {Intrinsically Correct Algorithms and Recursive Coalgebras},
 author = {Cass Alexandru and Henning Urbat and Thorsten Wißmann},
 year = {2026},
 eprint = {2512.10748},
 archiveprefix = {arXiv},
 primaryclass = {cs.PL},
 note = {v2},
 url = {https://arxiv.org/abs/2512.10748}
}