@article{article, title = {{Nominal recursors as epi-recursors}}, publisher = {{Association for Computing Machinery}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/209458 }}, year = {{2024}}, month = {{1}}, author = {{Popescu A}}, doi = {{10.1145/3632857}}, volume = {{8}}, journal = {{Proceedings of the ACM on Programming Languages}}, issue = {{POPL}}, note = {{Accessed on 2025/11/27}}}